wdamron / polyLinks
Hindley-Milner type system with extensible records and variants, implemented in Go
☆22Updated 5 years ago
Alternatives and similar repositories for poly
Users that are interested in poly are comparing it to the libraries listed below
Sorting:
- a simple Hindley-Milner type system in Go☆65Updated 7 years ago
- A functional language with Reason-like syntax that compiles to Go.☆139Updated 6 years ago
- A strongly-typed handy scripting language with type inference☆14Updated 7 years ago
- WDTE is a simple, functional-ish, embedded scripting language.☆22Updated 5 months ago
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆18Updated 2 years ago
- the best functional language ever☆41Updated 6 years ago
- Golang Port of LLVM's Kaleidoscope Tutorial☆29Updated 11 years ago
- Io, the language, in Go, the language☆83Updated 2 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆43Updated 2 years ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Updated last year
- APL interpreter and stream processor☆134Updated 5 years ago
- A datalog prover and interpreter in Go.☆37Updated 10 years ago
- Pure pony PostgreSQL client☆15Updated 8 years ago
- A minimal but powerful programming language based on C, Go and Haskell☆61Updated 2 years ago
- golang parser-combinator library☆78Updated 3 years ago
- A PEG parsing machine with support for incremental parsing.☆96Updated 11 months ago
- The Geode Programming Language☆16Updated 6 years ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated 3 weeks ago
- Pony package for parsing, manipulating, and compiling Pony code.☆36Updated 5 years ago
- ponylang HTTP client library☆43Updated last week
- Language server for Pony☆26Updated 3 weeks ago
- Functional data structures for Pony☆44Updated 8 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- The Golsp programming language.☆32Updated 6 years ago
- FunL programming language☆23Updated last month
- Oglang - Language that compiles to Golang☆96Updated 7 years ago
- A little language interpreter written in Go☆99Updated 7 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 4 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆32Updated 6 years ago