dabrady/LittleLogicLangs dabrady/LittleLogicLangs

  • This repository has been archived on 19/Feb/2020
  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Racket
  • Created about 10 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dabrady/LittleLogicLangs
github

dabrady

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Project files for my paper, "Little Logic Languages for Relational Programming"

More Repositories

1

syndicate

a simple implementation of the POSSE content publishing model
Python
5
star
2

lua-utils

A collection of Lua and Hammerspoon utilities & extensions
Lua
2
star