Enki
by ReedOei
A beginner-focused logic programming language.
AI summary
Logic language
A beginner-focused logic programming language built on top of Haskell.
- stars
- 8
- forks
- 1
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
flix/flix2.2K
Logic language
A statically typed language with functional and imperative programming capabilities for building logic-driven applications.
Linear language
A statically-typed functional programming language with fine-grained program reasoning capabilities
Language compiler
A Haskell + Lisp compiler and runtime environment for executing multi-language code.
Language
A Go-based functional programming language designed to simplify concurrent and reactive programming.
eholk/harlan1.2K
GPU language
A Scheme-based language for programming GPUs.
Logic prog lang
A compiler-based implementation of a minimalist logic programming language
Programming language
A small, experimental programming language with unique features and a Haskell implementation.
Lisp-inspired language
An experimental implementation of a Haskell-like language with Racket's macro system
ditto/ditto173
Research language
An experimentally designed dependently typed programming language with a focus on type checking and research
vekatze/neut841
Functional language
A statically managed functional programming language with a focus on predictability and type safety.
Compiler
A Haskell implementation of a compiler for a custom programming language
lantiga/ki478
Scripting language
A programming language and runtime environment that combines elements of Lisp and JavaScript with Clojure data structures for scripting and automation.
logic programming library
An implementation of logic programming concepts in Haskell
Compiler
A compiled stack-based language with a toy compiler for x86_64 and aarch64 targeting
Parser library
A parser combinator library designed to be industrial-strength and easy to use
Featured in 1 awesome list
Each link jumps to the spot where the list mentions Enki.
