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☆64Updated 7 years ago
- A functional language with Reason-like syntax that compiles to Go.☆137Updated 6 years ago
- A strongly-typed handy scripting language with type inference☆14Updated 6 years ago
- Golang Port of LLVM's Kaleidoscope Tutorial☆29Updated 10 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆43Updated last year
- The Kuljet language☆25Updated 5 months ago
- WDTE is a simple, functional-ish, embedded scripting language.☆21Updated 2 years ago
- APL interpreter and stream processor☆131Updated 4 years ago
- Yet Another Efficient Unification Algorithm☆27Updated 11 months ago
- the best functional language ever☆40Updated 6 years ago
- Oglang - Language that compiles to Golang☆97Updated 6 years ago
- A datalog prover and interpreter in Go.☆36Updated 9 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆54Updated 5 months ago
- The Golsp programming language.☆32Updated 6 years ago
- Io, the language, in Go, the language☆83Updated 2 years ago
- A minimal but powerful programming language based on C, Go and Haskell☆62Updated last year
- Pratt Top-down Operator Precedence Example in Go☆40Updated 4 years ago
- golang parser-combinator library☆76Updated 2 years ago
- Pure pony PostgreSQL client☆15Updated 8 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
- A high-level programming language☆39Updated 6 months ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- Peggy is a PEG parser generator for Go.☆19Updated 3 years ago
- Expressive, noiseless, interpreted, toy programming language☆43Updated 7 years ago
- A PEG parsing machine with support for incremental parsing.☆92Updated 5 months ago
- An embeddable Lua 2.5 interpreter implemented in OCaml☆126Updated 4 months ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Updated last year
- Type Inference Library written in TypeScript☆93Updated 2 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 11 months ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 5 years ago