deech / shen-rustLinks
☆35Updated 5 years ago
Alternatives and similar repositories for shen-rust
Users that are interested in shen-rust are comparing it to the libraries listed below
Sorting:
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- ☆14Updated 2 weeks ago
- The Alms Programming Language☆44Updated 6 years ago
- An implementation of microKanren in Shen☆10Updated 10 years ago
- ☆22Updated 5 years ago
- A redis client for Racket.☆17Updated 10 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 7 months ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 9 years ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Yes, it is what you think it is☆33Updated 9 years ago
- ☆19Updated 2 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Very incomplete Scheme interpreter, written in Rust☆23Updated 8 years ago
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Updated 6 years ago
- ☆23Updated 7 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- ☆13Updated 6 years ago
- A minimal example of the Idris C FFI☆14Updated 10 years ago
- nand-lang☆15Updated 7 years ago
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- A server, client and UI for remotely debugging Racket applications.☆29Updated 11 months ago
- Programming language designed as an experiment to explore mutation and aliasing control☆33Updated 5 years ago