chewxy / hmLinks
a simple Hindley-Milner type system in Go
☆65Updated 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☆78Updated 3 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆43Updated 2 years ago
- Hindley-Milner type system with extensible records and variants, implemented in Go☆22Updated 5 years ago
- Parens is a highly flexible and embeddable LISP toolkit.☆32Updated 5 years ago
- WDTE is a simple, functional-ish, embedded scripting language.☆22Updated 4 months ago
- the best functional language ever☆41Updated 6 years ago
- Gong liveness and channel safety checker☆31Updated 8 years ago
- Language experimentation.☆22Updated last month
- Type safe persistent/immutable data structures for Go☆63Updated 4 years ago
- Oglang - Language that compiles to Golang☆96Updated 7 years ago
- A functional language with Reason-like syntax that compiles to Go.☆139Updated 6 years ago
- A datalog prover and interpreter in Go.☆37Updated 10 years ago
- Go static program analyser☆59Updated 5 years ago
- Frame provides plan9-like editable text widgets☆69Updated 5 years ago
- Yet another PEG (Parsing Expression Grammars) parser generator for Go☆63Updated 4 years ago
- Go Object Notation.☆24Updated 3 years ago
- a configuration language for Go projects☆41Updated 6 years ago
- Quickly build, serve, run, and refresh your GopherJS programs☆29Updated 9 years ago
- convert from a Go AST to JSON☆42Updated 5 years ago
- Build recursive descent parsers☆106Updated 2 years ago
- toy minikanren impl in Go lang☆58Updated 11 years ago
- Graph layouting package☆24Updated 11 months ago
- Peggy is a PEG parser generator for Go.☆19Updated 2 months ago
- The Acutely Opinionated Window Manager☆113Updated 4 years ago
- Easy parametric polymorphism at run time using completely unidiomatic Go.☆197Updated 11 years ago
- The T text editor.☆60Updated 7 years ago
- Test suite for implementations of Featherweight Generic Go☆35Updated 5 years ago
- Port of D. J. Bernstein's primegen prime number generator to Go☆31Updated 5 years ago
- Golang Port of LLVM's Kaleidoscope Tutorial☆29Updated 11 years ago
- A C11 positional lexer with error reporting written in Go☆22Updated 8 years ago