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 11 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 | 72 |
 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 | 70 |
 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. | 68 |
 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. | 223 |
 haskell/parsec | A parser combinator library designed to be industrial-strength and easy to use | 847 |
 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,313 |