Hindley-Milner type system with extensible records and variants, implemented in Go
☆22Nov 21, 2020Updated 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 strongly-typed handy scripting language with type inference☆14Aug 31, 2018Updated 7 years ago
- Wikipedia DB Dump Server + wikitext parser in Go/Golang☆14Jun 25, 2019Updated 6 years ago
- ☆22May 12, 2025Updated 9 months ago
- symbolic reachability checker☆23Sep 23, 2021Updated 4 years ago
- A Go package for myriad array operations using wavelet trees☆19Feb 28, 2016Updated 10 years ago
- kaitaigo is a compiler and runtime to create Go parsers from Kaitai Struct files☆18Apr 20, 2022Updated 3 years ago
- Yet Another Efficient Unification Algorithm☆28Oct 10, 2025Updated 4 months ago
- ShrinkableMap is a high-performance, generic, thread-safe map implementation for Go that automatically manages memory by shrinking its in…☆27Jul 9, 2025Updated 7 months ago
- An implementation of Brodal-Okasaki heap using Go.☆26Aug 30, 2015Updated 10 years ago
- A port of Stream VByte to Go☆35Feb 22, 2022Updated 4 years ago
- Go library to run TTS engines, convert their output to mp3/ogg, and make videos from images or other videos☆30Jun 26, 2016Updated 9 years ago
- Use yaegi as a template engine.☆32Jun 13, 2023Updated 2 years ago
- Go Timer implementation with a fixed Reset behavior☆33Jun 14, 2024Updated last year
- A Go library for reading and parsing ELF files☆31Mar 21, 2024Updated last year
- Slice graph uses graphviz in order to pretty print slices for you.☆33Apr 3, 2021Updated 4 years ago
- A datalog prover and interpreter in Go.☆37Jan 11, 2016Updated 10 years ago
- The Golsp programming language.☆32Feb 13, 2019Updated 7 years ago
- ☆32Nov 21, 2023Updated 2 years ago
- A Common Lisp-like Lisp-1 in Go with TCO and partially hygienic macros☆37Oct 28, 2019Updated 6 years ago
- Guts is a new language beyonds PHP.☆154May 10, 2016Updated 9 years ago
- Storage algorithms.☆38Feb 10, 2021Updated 5 years ago
- Clojure parsing in Go☆38Oct 13, 2023Updated 2 years ago
- A Go implementation of the PCP instrumentation API☆36Jul 22, 2021Updated 4 years ago
- distributed data sync with operational transformation/transforms☆87Sep 30, 2019Updated 6 years ago
- Sequitur algorithm for recognizing lexical structure in strings☆40Apr 1, 2022Updated 3 years ago
- ☆10Sep 28, 2020Updated 5 years ago
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 8 years ago
- Tupelo reference signer implementation☆14Sep 29, 2020Updated 5 years ago
- dblp Knowledge Graph☆14Jan 16, 2025Updated last year
- An application for comparing two binary files☆11Feb 22, 2019Updated 7 years ago
- The reference implementation of the ℒ (ell) language☆10May 18, 2025Updated 9 months ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- Quantum Annealing Prolog☆40Jan 25, 2022Updated 4 years ago
- sshkit/rake in Golang☆10May 11, 2025Updated 9 months ago
- ☆10Jan 25, 2019Updated 7 years ago
- Rails engine for automating GDPR processes☆13Mar 15, 2024Updated last year
- Basic implementation of a double auction in Python☆10Aug 30, 2021Updated 4 years ago
- A hex editor widget for Qt5☆10Feb 8, 2016Updated 10 years ago