bertas / hm_prolog
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
- ☆14Updated last month
- ☆22Updated 5 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- ☆35Updated 5 years ago
- S-expression swiss knife☆44Updated 4 months ago
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Updated 6 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Clojure's Transducers in Haskell☆40Updated 8 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 5 months ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- ☆11Updated last month
- A Racket refactoring engine☆63Updated this week
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- A property-based testing library for Racket.☆32Updated 11 months ago
- Haskell User's Gofer System☆25Updated 9 years ago
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- ☆46Updated last month
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- ☆19Updated last month
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Prototypes: Object Orientation, Functionally☆44Updated 3 weeks ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- A Vim plugin for Carp☆17Updated 3 years ago
- Wasm tooling in Racket.☆43Updated last year
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆25Updated 4 months ago