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
- The Kuljet language☆25Updated 3 months ago
- LLVM's Kaleidoscope in Golang☆15Updated 10 years ago
- Golang Port of LLVM's Kaleidoscope Tutorial☆29Updated 10 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
- Language server for Pony☆22Updated 5 months ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆91Updated 6 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆50Updated 3 months ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- Io ported to WebAssembly using emscripten☆12Updated last year
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Peggy is a PEG parser generator for Go.☆19Updated 3 years ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Updated last year
- An understandable fast brainfuck interpreter using closures rather than bytecode☆12Updated last month
- An embeddable Lua 2.5 interpreter implemented in OCaml☆125Updated 2 months ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆39Updated 5 months ago
- FunL programming language☆23Updated 5 months ago
- A functional language with Reason-like syntax that compiles to Go.☆138Updated 6 years ago
- Pure pony PostgreSQL client☆15Updated 7 years ago
- Go foreign export implementations for the standard library☆33Updated 2 years ago
- L.B. Stanza Programming Language☆23Updated 4 months ago
- Just a little toy language to learn about register-based VMs.☆21Updated 12 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆63Updated 3 years ago
- A polymorphism object-oriented programming language☆24Updated 5 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 6 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 4 months ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 3 years ago