ioannad / jeffreyLinks
Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.net/idimitriou/jeffrey
☆29Updated 7 months ago
Alternatives and similar repositories for jeffrey
Users that are interested in jeffrey are comparing it to the libraries listed below
Sorting:
- ☆39Updated last month
- A Scala-style magic function application form☆43Updated 3 years ago
- HASKELL: Yale Haskell system written in Lisp☆104Updated 12 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆39Updated 3 months ago
- A Racket refactoring engine☆65Updated 2 weeks ago
- a racket lang-extension for debugging, and a macro for inserting a debug-repl☆36Updated 2 months ago
- Canonical miniKanren implementation in Racket☆87Updated 4 years ago
- Embedding of some of SQL into Racket☆34Updated 3 years ago
- Functional interfaces and datatypes for Racket☆43Updated 4 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆20Updated 3 years ago
- Livin' like it's 1813 (or 1988).☆33Updated last month
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆53Updated 11 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆167Updated 11 months ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆63Updated 7 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆40Updated 4 years ago
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 3 years ago
- ☆58Updated 8 years ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆35Updated last year
- A prototype of soft contract verification for an untyped functional language☆35Updated 4 years ago
- Racket parser combinators inspired by parsack and megaparsec☆82Updated last year
- A microKanren framework for implementing constraints.☆19Updated 7 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 10 months ago
- Use Python from Racket☆36Updated last month
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆139Updated last month
- Disassembler for Racket☆79Updated 6 months ago
- Normalization-by-evaluation in miniKanren☆25Updated 2 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆57Updated 9 years ago
- Terminal emulator in racket☆42Updated 2 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆18Updated 9 years ago
- Datalog implemented in minikanren☆24Updated 8 years ago