toy minikanren impl in Go lang
☆58Mar 17, 2014Updated 11 years ago
Alternatives and similar repositories for gologic
Users that are interested in gologic are comparing it to the libraries listed below
Sorting:
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆45Sep 9, 2023Updated 2 years ago
- Statistical modeling in Go☆14May 19, 2021Updated 4 years ago
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- JSON Schema files for Pandoc JSON☆13Aug 19, 2014Updated 11 years ago
- A command-line tool to simplify the manipulation of subtitles and perform common operations in MKV (Matroska) files.☆13Mar 2, 2024Updated 2 years ago
- Parser-combinator in Go☆10Jul 19, 2020Updated 5 years ago
- Partial implementation of the Janet bytecode VM in Javascript☆16Mar 1, 2022Updated 4 years ago
- Prolog interpreter in Go☆375Nov 12, 2019Updated 6 years ago
- A Go package for implementing command-line interfaces for games and graphical applications☆27Sep 8, 2015Updated 10 years ago
- LED-Sequencer for music☆10Dec 5, 2025Updated 3 months ago
- A datalog prover and interpreter in Go.☆37Jan 11, 2016Updated 10 years ago
- Graph layout and display library.☆20Dec 30, 2018Updated 7 years ago
- ☆23Feb 28, 2019Updated 7 years ago
- Experiments that do not fit into a separate repository.☆51Updated this week
- A Go package for myriad array operations using wavelet trees☆19Feb 28, 2016Updated 10 years ago
- Visual Format Language compiler☆38Jan 3, 2015Updated 11 years ago
- Demo of using jaylib in a web browser☆24Jan 18, 2024Updated 2 years ago
- Youtube downloader☆15Jul 30, 2018Updated 7 years ago
- kaitaigo is a compiler and runtime to create Go parsers from Kaitai Struct files☆18Apr 20, 2022Updated 3 years ago
- The retro-computing systems☆18Sep 23, 2022Updated 3 years ago
- Yet Another Efficient Unification Algorithm☆28Oct 10, 2025Updated 4 months ago
- The private way to keep track of exercises and sport activities. Utilizes AES-256 encryption and Argon2 key derivation.☆18Jun 2, 2021Updated 4 years ago
- Port of ZZT to Go (using a Pascal-to-Go converter)☆28Jun 6, 2020Updated 5 years ago
- HTML5/JS browser wrapper for golang gui apps with minimal dependencies.☆28Jul 2, 2014Updated 11 years ago
- Search any text-based document☆23Aug 16, 2020Updated 5 years ago
- ☆22Jun 19, 2022Updated 3 years ago
- A continuation-based framework to develop application service☆36Aug 26, 2022Updated 3 years ago
- View the script files in the original Resident Evil 2 / Biohazard 2 as pseudocode☆19Sep 6, 2025Updated 5 months ago
- Interactive Scheme Primer, written in Scheme.☆22Jun 9, 2025Updated 8 months ago
- Go port of the C layout library (Clay)☆46Nov 26, 2025Updated 3 months ago
- NearTalk is chat platform to talk to people nearby.☆23Dec 20, 2023Updated 2 years ago
- 2D virtual tabletop prototype☆22Apr 28, 2021Updated 4 years ago
- Lightweight functional data and side effects manipulation patterns in Golang with no dependencies.☆30Dec 8, 2022Updated 3 years ago
- Transducers for Go☆48Apr 12, 2015Updated 10 years ago
- Battle-tested Go struct and map traversal utilities.☆33Jan 17, 2020Updated 6 years ago
- Graphic library supporting various displays☆30Feb 8, 2026Updated 3 weeks ago
- Go data analysis / manipulation library built on top of Apache Arrow☆27Jun 5, 2023Updated 2 years ago
- ☆22Mar 6, 2014Updated 11 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Dec 18, 2017Updated 8 years ago