Enki
Logic language
A beginner-focused logic programming language built on top of Haskell.
A beginner-focused logic programming language.
8 stars
3 watching
1 forks
Language: Haskell
last commit: over 4 years ago
Linked from 1 awesome list
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 flix/flix | A statically typed language with functional and imperative programming capabilities for building logic-driven applications. | 2,191 |
 granule-project/granule | A statically-typed functional programming language with fine-grained program reasoning capabilities | 593 |
 axellang/axel | A Haskell + Lisp compiler and runtime environment for executing multi-language code. | 206 |
 cloe-lang/cloe | A Go-based functional programming language designed to simplify concurrent and reactive programming. | 410 |
 eholk/harlan | A Scheme-based language for programming GPUs. | 1,183 |
 luc-tielen/eclair-lang | A compiler-based implementation of a minimalist logic programming language | 220 |
 japiirainen/fp | A small, experimental programming language with unique features and a Haskell implementation. | 102 |
 lexi-lambda/hackett | An experimental implementation of a Haskell-like language with Racket's macro system | 1,167 |
 ditto/ditto | An experimentally designed dependently typed programming language with a focus on type checking and research | 173 |
 vekatze/neut | A statically managed functional programming language with a focus on predictability and type safety. | 841 |
 kelilanguage/compiler | A Haskell implementation of a compiler for a custom programming language | 172 |
 lantiga/ki | A programming language and runtime environment that combines elements of Lisp and JavaScript with Clojure data structures for scripting and automation. | 478 |
 jvranish/minikanrent | An implementation of logic programming concepts in Haskell | 76 |
 vmchale/kempe | A compiled stack-based language with a toy compiler for x86_64 and aarch64 targeting | 58 |
 haskell/parsec | A parser combinator library designed to be industrial-strength and easy to use | 850 |