bertas / hm_prolog
A Hindley-Milner type inference implementation in Prolog
☆13Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for hm_prolog
- ☆11Updated last week
- Racket-based implementation of Adapton☆22Updated 5 years ago
- A property-based testing library for Racket.☆29Updated 6 months ago
- Functional interfaces and datatypes for Racket☆42Updated 3 years ago
- A Racket refactoring engine☆58Updated 2 weeks ago
- ☆34Updated 5 years ago
- A Scala-style magic function application form☆43Updated 2 years ago
- (Somewhat) Algebraic Data Types for Racket☆35Updated last year
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆21Updated 3 years ago
- Clojure's Transducers in Haskell☆40Updated 8 years ago
- ☆10Updated 8 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- Wasm tooling in Racket.☆40Updated last year
- Fast, CommonMark-compliant Markdown parser written in Racket☆31Updated last month
- ☆21Updated 4 years ago
- A Racket Meta-Program Generator☆17Updated 4 years ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- adqc - A version of C with verification and resource bounds☆22Updated 3 years ago
- Haskell User's Gofer System☆22Updated 8 years ago
- Easy scripting for DrRacket☆17Updated last week
- Lambda calculus go brrrr☆28Updated last year
- Online playground from RacketScript☆19Updated 7 months ago
- covid-19 data in J☆16Updated 2 years ago
- a minimal implementation of incremental computation in Scheme☆35Updated 7 years ago
- nand-lang☆15Updated 6 years ago
- The Alms Programming Language☆44Updated 6 years ago
- ☆18Updated last year
- An embedding of miniKanren in Shen.☆24Updated 9 years ago