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:
- ☆22Updated 5 years ago
- A property-based testing library for Racket.☆32Updated last year
- ☆14Updated 2 weeks 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
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆25Updated 5 months ago
- A simple build system for Idris☆22Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 7 months ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- Syntax Parse Bee 2021☆11Updated 2 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- Clojure's Transducers in Haskell☆40Updated 9 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- A Racket refactoring engine☆63Updated last week
- Easy scripting for DrRacket☆18Updated 2 weeks ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- ☆35Updated 5 years ago
- ☆10Updated 9 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- A Scala-style magic function application form☆43Updated 2 years ago
- covid-19 data in J☆16Updated 3 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆17Updated 8 years ago
- Hash Array Mapped Tries for Racket☆20Updated 8 years ago
- ☆46Updated 2 weeks ago
- ☆11Updated 2 weeks ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 7 months ago