eclair-lang
Logic prog lang
A compiler-based implementation of a minimalist logic programming language
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
220 stars
4 watching
13 forks
Language: Haskell
last commit: about 1 year ago
Linked from 2 awesome lists
compilerdataloghaskellllvmlogic-programming
appcypher/awesome-wasm-langs
uhub/awesome-haskellRelated projects:
| Repository | Description | Stars |
|---|---|---|
 sjl/temperance | An implementation of a Warren Abstract Machine in Common Lisp to support logic programming and Prolog-like functionality. | 58 |
 cl-model-languages/cl-prolog2 | A Common Lisp library that provides a translator from S-expression to ISO-standardized Prolog language and integrates with various Prolog compilers for efficient execution. | 31 |
 teal-language/tl | A compiler and build tool for a typed dialect of Lua. | 2,192 |
 lpcic/elpi | An embeddable interpreter for a variant of Prolog enriched with Constraint Handling Rules | 292 |
 jldupont/prolog.js | An interpreter for a logic-based programming language | 81 |
 reedoei/enki | A beginner-focused logic programming language built on top of Haskell. | 8 |
 pltools/lama | A programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting | 71 |
 travitch/datalog | A Haskell implementation of Datalog, allowing recursive queries in a logic language. | 104 |
 erdwolf/prolog | An interpreter for a logic-based programming language written in Haskell. | 61 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 749 |
 dundalek/liz | A Lisp-flavored programming language built on top of Zig, aiming to provide a lower-level alternative to Clojure with more direct access to hardware. | 268 |
 creichen/teal | A compiler and runtime system for a minimalist programming language with intermediate representation and test suite. | 1 |
 lexi-lambda/hackett | An experimental implementation of a Haskell-like language with Racket's macro system | 1,167 |
 thma/lambda-ski | Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic | 28 |
 syegulalp/akilang | An experimental compiler and language implementation built on top of LLVM and Python. | 99 |