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 3 weeks ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- ☆21Updated 4 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- A property-based testing library for Racket.☆29Updated 6 months ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- My personal template repository for Racket packages☆15Updated 4 years ago
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Updated 5 years ago
- S-expression swiss knife☆43Updated this week
- Kanren with databases☆43Updated 3 months ago
- Clojure's Transducers in Haskell☆40Updated 8 years ago
- ☆34Updated 5 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- Online playground from RacketScript☆19Updated 7 months ago
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- How do you do that recursive GADT thing again?☆27Updated 8 months ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆21Updated 3 years ago
- A server, client and UI for remotely debugging Racket applications.☆19Updated 5 months ago
- an implementation of a microKanren(-like language) in miniKanren☆25Updated 10 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 5 years ago
- ☆18Updated 3 weeks ago
- a minimal implementation of incremental computation in Scheme☆35Updated 7 years ago
- Delimited continuations in byte-code and native OCaml☆26Updated 3 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- A Racket refactoring engine☆59Updated this week
- An implementation of the Lox language in Racket.☆30Updated last year
- ☆15Updated 8 years ago
- (Somewhat) Algebraic Data Types for Racket☆35Updated last year