MiniKanrenT
by jvranish
An implementation of miniKanren in Haskell
AI summary
logic programming library
An implementation of logic programming concepts in Haskell
- stars
- 76
- forks
- 2
- watching
- 7
Similar projects
Found by comparing what the projects do, not just their names.
Logic programmer
An implementation of a logic programming language in Go
Relational programming library
An implementation of a minimalist functional core for relational programming languages.
Haskell compiler
A Haskell compiler with a runtime environment implementing Combinatory Logic
Haskell torrent client
A BitTorrent client implemented in Haskell
Graphics library
A Haskell implementation of a subset of the Processing language for computer graphics
Web app
A minimal Haskell web application providing temporary email addresses as an example of robust and maintainable software development.
Number library
A Haskell numeric prelude providing a structured approach to numbers and operations.
Programming language
A small, experimental programming language with unique features and a Haskell implementation.
Relational programming semantics
A certified semantics for relational programming language specification, providing verified implementations of syntax and semantics for miniKanren languages
Machine Learning Library
Implementations of basic machine learning algorithms in Haskell
Monad tutorial
An introduction to monads in Clojure, covering the basics of this functional programming concept.
Parser library
A parser combinator library designed to be industrial-strength and easy to use
Compiler
A compiled stack-based language with a toy compiler for x86_64 and aarch64 targeting
Libraries
A curated collection of useful JavaScript libraries for building web applications.
karan/projects45.5K
Project examples
A collection of practical programming project examples to help developers build and practice their skills
