MiniKanrenT

logic programming library

An implementation of logic programming concepts in Haskell

An implementation of miniKanren in Haskell

76 stars

7 watching

2 forks

Language: Haskell

last commit: over 13 years ago

Related projects:

Repository	Description	Stars
awalterschulze/gominikanren	An implementation of a logic programming language in Go	38
dvberkel/microkanren	An implementation of a minimalist functional core for relational programming languages.	5
siraben/mini-haskell	A Haskell compiler with a runtime environment implementing Combinatory Logic	73
jlouis/combinatorrent	A BitTorrent client implemented in Haskell	234
anton-k/processing-for-haskell	A Haskell implementation of a subset of the Processing language for computer graphics	71
jaspervdj/fugacious	A minimal Haskell web application providing temporary email addresses as an example of robust and maintainable software development.	147
tonyday567/numhask	A Haskell numeric prelude providing a structured approach to numbers and operations.	69
japiirainen/fp	A small, experimental programming language with unique features and a Haskell implementation.	102
dboulytchev/minikanren-coq	A certified semantics for relational programming language specification, providing verified implementations of syntax and semantics for miniKanren languages	26
ajtulloch/haskell-ml	Implementations of basic machine learning algorithms in Haskell	57
khinsen/monads-in-clojure	An introduction to monads in Clojure, covering the basics of this functional programming concept.	224
haskell/parsec	A parser combinator library designed to be industrial-strength and easy to use	850
vmchale/kempe	A compiled stack-based language with a toy compiler for x86_64 and aarch64 targeting	58
esamattis/jslibs	A curated collection of useful JavaScript libraries for building web applications.	59
karan/projects	A collection of practical programming project examples to help developers build and practice their skills	45,469