chewxy / hm
a simple Hindley-Milner type system in Go
☆60Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for hm
- golang parser-combinator library☆74Updated 2 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆38Updated last year
- Hindley-Milner type system with extensible records and variants, implemented in Go☆18Updated 4 years ago
- A functional language with Reason-like syntax that compiles to Go.☆139Updated 5 years ago
- Gong liveness and channel safety checker☆30Updated 6 years ago
- A datalog prover and interpreter in Go.☆33Updated 8 years ago
- the best functional language ever☆40Updated 5 years ago
- Oglang - Language that compiles to Golang☆97Updated 6 years ago
- A Common Lisp-like Lisp-1 in Go with TCO and partially hygienic macros☆37Updated 5 years ago
- Exploring some worst-case latencies in GCs, inspired by a post on GHC's runtime pause times: https://making.pusher.com/latency-working-se…☆55Updated 2 months ago
- Parens is a highly flexible and embeddable LISP toolkit.☆33Updated 4 years ago
- Golang Port of LLVM's Kaleidoscope Tutorial☆30Updated 9 years ago
- Functional programming library for Go including a lazy list implementation and some of the most usual functions.☆32Updated 12 years ago
- WDTE is a simple, functional-ish, embedded scripting language.☆20Updated last year
- A strongly-typed handy scripting language with type inference☆14Updated 6 years ago
- Type safe persistent/immutable data structures for Go☆62Updated 3 years ago
- Language experimentation.☆21Updated 2 weeks ago
- Krawl programming language compiler☆42Updated 13 years ago
- Frame provides plan9-like editable text widgets☆67Updated 4 years ago
- Test suite for implementations of Featherweight Generic Go☆34Updated 4 years ago
- package skiprope is a rope-like data structure built on top of skiplists☆27Updated 6 years ago
- LLVM bindings for the Go programming language☆53Updated 10 years ago
- LLVM's Kaleidoscope in Golang☆16Updated 9 years ago
- Yet Another Efficient Unification Algorithm☆25Updated 3 months ago
- Go static program analyser☆58Updated 4 years ago
- Port of the lemon parser generator to the Go programming language☆55Updated 3 years ago
- Sabre is highly customisable, embeddable LISP engine for Go.☆28Updated 4 years ago
- prototype: a relational database which supports live GraphQL-like queries. Written in Go with BoltDB storage.☆37Updated last year
- Easy parametric polymorphism at run time using completely unidiomatic Go.☆197Updated 10 years ago