leuschel / logenLinks
Offline partial evaluation system for Prolog written using the cogen approach
☆19Updated 8 years ago
Alternatives and similar repositories for logen
Users that are interested in logen are comparing it to the libraries listed below
Sorting:
- αProlog☆18Updated last year
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's☆11Updated last year
- Coq plugin for monomorphization and C code generation☆34Updated last week
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- miniKanren with a first-order representation of the search space☆16Updated 10 months ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆44Updated last month
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- software archaeology of reflective towers of interpreters☆16Updated 2 weeks ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year
- Logic for story telling!☆34Updated 7 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 5 years ago
- Fun plugin to play with the Gallina AST.☆38Updated 5 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- A bare-bones LCF-style proof assistant☆24Updated 5 years ago
- Tutorial for the CHR system☆16Updated 4 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 3 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Racket bindings for Z3☆24Updated 6 years ago
- Miller/pattern unification in Agda☆65Updated 11 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- A model of the WebAssembly language in Redex☆22Updated 4 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated 8 months ago