chewxy / hm
a simple Hindley-Milner type system in Go
☆61Updated 6 years ago
Alternatives and similar repositories for hm:
Users that are interested in hm are comparing it to the libraries listed below
- golang parser-combinator library☆74Updated 2 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆41Updated last year
- Golang Port of LLVM's Kaleidoscope Tutorial☆30Updated 10 years ago
- Parens is a highly flexible and embeddable LISP toolkit.☆33Updated 4 years ago
- Gong liveness and channel safety checker☆30Updated 7 years ago
- Hindley-Milner type system with extensible records and variants, implemented in Go☆19Updated 4 years ago
- A datalog prover and interpreter in Go.☆35Updated 9 years ago
- A strongly-typed handy scripting language with type inference☆14Updated 6 years ago
- Oglang - Language that compiles to Golang☆97Updated 6 years ago
- the best functional language ever☆40Updated 5 years ago
- Yet Another Efficient Unification Algorithm☆26Updated 6 months ago
- WDTE is a simple, functional-ish, embedded scripting language.☆21Updated 2 years ago
- A functional language with Reason-like syntax that compiles to Go.☆139Updated 5 years ago
- Slurp is a highly customisable LISP toolkit for Go applications. 💻☆34Updated last year
- Frame provides plan9-like editable text widgets☆67Updated 4 years ago
- Type safe persistent/immutable data structures for Go☆63Updated 3 years ago
- Painless polymorphism☆126Updated 7 years ago
- Language experimentation.☆21Updated last week
- The Acutely Opinionated Window Manager☆112Updated 3 years ago
- LLVM's Kaleidoscope in Golang☆16Updated 9 years ago
- Port of D. J. Bernstein's primegen prime number generator to Go☆31Updated 4 years ago
- Intermediate GoLang source representation☆139Updated 10 years ago
- LLVM bindings for the Go programming language☆218Updated 3 years ago
- Parser-combinator in Go☆10Updated 4 years ago
- LLVM bindings for the Go programming language☆53Updated 10 years ago
- a configuration language for Go projects☆38Updated 5 years ago
- Krawl programming language compiler☆42Updated 13 years ago
- Parser combinator in Go. If there are any cross platform issues or backward compatibility issues, please reach out.☆282Updated 3 years ago
- A terminal-ui log watcher written in Go using the Flux architecture☆38Updated 7 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…☆54Updated 5 months ago