wdamron / polyLinks
Hindley-Milner type system with extensible records and variants, implemented in Go
☆21Updated 4 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☆63Updated 7 years ago
- A strongly-typed handy scripting language with type inference☆14Updated 6 years 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
- LLVM's Kaleidoscope in Golang☆15Updated 10 years ago
- the best functional language ever☆40Updated 5 years ago
- Safe Pony FFI wrapper for the libsodium cryptography library.☆24Updated 2 years ago
- The Kuljet language☆25Updated 4 months ago
- Language server for Pony☆22Updated 6 months ago
- The Golsp programming language.☆32Updated 6 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆42Updated last year
- An understandable fast brainfuck interpreter using closures rather than bytecode☆12Updated 2 months ago
- Yet Another Efficient Unification Algorithm☆27Updated 10 months ago
- APL interpreter and stream processor☆132Updated 4 years ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- Go foreign export implementations for the standard library☆33Updated 2 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- A functional language with Reason-like syntax that compiles to Go.☆138Updated 6 years ago
- Functional data structures for Pony☆44Updated 8 years ago
- The Geode Programming Language☆16Updated 5 years ago
- Golang Port of LLVM's Kaleidoscope Tutorial☆29Updated 10 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆52Updated 4 months ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Updated last year
- WDTE is a simple, functional-ish, embedded scripting language.☆21Updated 2 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆33Updated 3 weeks ago
- Io, the language, in Go, the language☆83Updated 2 years ago
- NodeC -- A lean NodeJS in C using algebraic effect handlers.☆34Updated 6 years ago
- A programming language with first-class modules and algebraic effects.☆14Updated 2 years ago
- Peggy is a PEG parser generator for Go.☆19Updated 3 years ago
- Self-hosting compiler for the Grace programming language☆40Updated last year
- Lisp for JSON☆18Updated 7 years ago