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
- ☆13Updated last month
- ☆35Updated 5 years ago
- ☆22Updated 5 years ago
- A property-based testing library for Racket.☆31Updated 11 months ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- Online playground from RacketScript☆19Updated last year
- 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
- Racket-based implementation of Adapton☆22Updated 5 years ago
- S-expression swiss knife☆44Updated 4 months ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- a minimal implementation of incremental computation in Scheme☆34Updated 7 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- The Alms Programming Language☆44Updated 6 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- Easy scripting for DrRacket☆18Updated this week
- covid-19 data in J☆16Updated 3 years ago
- ☆18Updated last month
- Datalog implemented in minikanren☆24Updated 7 years ago
- Distributable shell scripts with dependencies☆11Updated 8 years ago
- Lua parser and pretty-printer☆15Updated 10 months ago
- A Racket Meta-Program Generator☆17Updated 5 years ago
- A Dependently Typed Esolang☆10Updated 7 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- A Racket refactoring engine☆63Updated 3 weeks ago
- A Scala-style magic function application form☆43Updated 2 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 5 months ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago