chewxy / hmLinks
a simple Hindley-Milner type system in Go
☆64Updated 7 years ago
Alternatives and similar repositories for hm
Users that are interested in hm are comparing it to the libraries listed below
Sorting:
- golang parser-combinator library☆76Updated 2 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆43Updated last year
- Hindley-Milner type system with extensible records and variants, implemented in Go☆21Updated 4 years ago
- Parens is a highly flexible and embeddable LISP toolkit.☆33Updated 4 years ago
- A datalog prover and interpreter in Go.☆36Updated 9 years ago
- WDTE is a simple, functional-ish, embedded scripting language.☆21Updated 2 years ago
- Gong liveness and channel safety checker☆30Updated 7 years ago
- A functional language with Reason-like syntax that compiles to Go.☆137Updated 6 years ago
- Type safe persistent/immutable data structures for Go☆63Updated 4 years ago
- Oglang - Language that compiles to Golang☆97Updated 6 years ago
- Language experimentation.☆21Updated 2 weeks ago
- Frame provides plan9-like editable text widgets☆68Updated 5 years ago
- Build recursive descent parsers☆106Updated 2 years ago
- a configuration language for Go projects☆40Updated 6 years ago
- Golang Port of LLVM's Kaleidoscope Tutorial☆29Updated 10 years ago
- convert from a Go AST to JSON☆42Updated 4 years ago
- Yet another PEG (Parsing Expression Grammars) parser generator for Go☆63Updated 3 years ago
- toy minikanren impl in Go lang☆57Updated 11 years ago
- LLVM bindings for the Go programming language☆54Updated 10 years ago
- Go static program analyser☆58Updated 5 years ago
- A Common Lisp-like Lisp-1 in Go with TCO and partially hygienic macros☆37Updated 5 years ago
- Painless polymorphism☆126Updated 8 years ago
- Encoding Agnostic Validation (Validation Language, Parsers and Encoders)☆95Updated 3 years ago
- The T text editor.☆60Updated 6 years ago
- Yet Another Efficient Unification Algorithm☆27Updated 11 months ago
- Easy parametric polymorphism at run time using completely unidiomatic Go.☆197Updated 11 years ago
- Parser combinator in Go. If there are any cross platform issues or backward compatibility issues, please reach out.☆290Updated 3 years ago
- Extremely experimental toy go compiler☆19Updated 4 years ago
- LLVM bindings for the Go programming language☆217Updated 4 years ago
- A terminal-ui log watcher written in Go using the Flux architecture☆39Updated 8 years ago