aliceml / aliceml-aliceLinks
Alice ML implementation
☆17Updated 2 years ago
Alternatives and similar repositories for aliceml-alice
Users that are interested in aliceml-alice are comparing it to the libraries listed below
Sorting:
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Demystifying the magic of supertactics☆13Updated 3 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- ☆14Updated 2 weeks ago
- ☆19Updated last week
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 10 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.☆7Updated 9 years ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- Geneva: portable document preparation system☆9Updated 8 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆14Updated 4 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 4 years ago
- Distributed computing library☆35Updated 6 years ago
- OCaml back end for Idris☆22Updated 7 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- ☆21Updated 9 years ago
- The Alms Programming Language☆44Updated 6 years ago