eclair-lang
by luc-tielen
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
AI summary
Logic prog lang
A compiler-based implementation of a minimalist logic programming language
- stars
- 220
- forks
- 13
- watching
- 4
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Prolog implementation
An implementation of a Warren Abstract Machine in Common Lisp to support logic programming and Prolog-like functionality.
Prolog compiler library
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.
teal-language/tl2.2K
Lua compiler
A compiler and build tool for a typed dialect of Lua.
lpcic/elpi292
Prolog interpreter
An embeddable interpreter for a variant of Prolog enriched with Constraint Handling Rules
Logic interpreter
An interpreter for a logic-based programming language
Logic language
A beginner-focused logic programming language built on top of Haskell.
Language teaching tool
A programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting
Datalog processor
A Haskell implementation of Datalog, allowing recursive queries in a logic language.
Prolog interpreter
An interpreter for a logic-based programming language written in Haskell.
rhysd/gocaml749
Compiler
An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch.
dundalek/liz268
Language compiler
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.
Programming language runtime
A compiler and runtime system for a minimalist programming language with intermediate representation and test suite.
Lisp-inspired language
An experimental implementation of a Haskell-like language with Racket's macro system
λ-calculus compiler
Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic
Compiler
An experimental compiler and language implementation built on top of LLVM and Python.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions eclair-lang.
