bertas / hm_prologLinks
A Hindley-Milner type inference implementation in Prolog
☆13Updated 10 years ago
Alternatives and similar repositories for hm_prolog
Users that are interested in hm_prolog are comparing it to the libraries listed below
Sorting:
- ☆14Updated last month
- ☆22Updated 5 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- A property-based testing library for Racket.☆32Updated last year
- Datalog implemented in minikanren☆24Updated 7 years ago
- S-expression swiss knife☆45Updated last week
- ☆35Updated 5 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- Clojure's Transducers in Haskell☆40Updated 9 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Online playground from RacketScript☆19Updated last year
- a minimal implementation of incremental computation in Scheme☆35Updated 8 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 7 months ago
- covid-19 data in J☆16Updated 3 years ago
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- ☆47Updated last month
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- ☆19Updated last month
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- The Alms Programming Language☆44Updated 6 years ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆19Updated 5 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- Wasm tooling in Racket.☆42Updated 2 years ago