hiredman / gologic
toy minikanren impl in Go lang
☆57Updated 10 years ago
Related projects: ⓘ
- go language generics system☆116Updated 11 years ago
- The Gsp Prelude and Go bindings.☆28Updated 8 years ago
- Type safe persistent/immutable data structures for Go☆62Updated 3 years ago
- LISP dialect implemented in Go☆257Updated 4 years ago
- gtreap is an immutable treap implementation in the Go Language☆89Updated 2 years ago
- The gsp compiler.☆177Updated 8 years ago
- goast is a Go AST utility with the aim of providing idiomatic meta-programming facilities for Go.☆134Updated 5 years ago
- ☆40Updated this week
- ☆59Updated this week
- Packages for solving minimization problems [DEPRECATED]☆66Updated 5 years ago
- Parallel and radix sorting in Go☆100Updated last year
- A Lisp implementation in Go☆149Updated 7 years ago
- Painless polymorphism☆125Updated 7 years ago
- Persistent data structures for Go☆114Updated 7 years ago
- Package htree implements the in-memory hash tree. Hacker News: https://news.ycombinator.com/item?id=11369676☆92Updated last year
- Software Transactional Memory in Go☆188Updated 4 years ago
- A dialect of Lisp implemented in Go☆106Updated 9 years ago
- literate-programming-style documentation for golang, modeled on docco☆44Updated 9 years ago
- Encoding Agnostic Validation (Validation Language, Parsers and Encoders)☆95Updated 2 years ago
- SQL Relational Algebra for Go.☆76Updated 8 years ago
- Set of tools for computing derivatives of a function [DEPRECATED]☆23Updated 5 years ago
- Fastest Encoder in the West☆64Updated 7 years ago
- GPU-Accelerated Linear Algebra Libraries☆22Updated 9 years ago
- auto-generate capnproto schema from your golang source files. Depends on go-capnproto-1.0 at https://github.com/glycerine/go-capnproto☆65Updated 7 years ago
- HyperLogLog++ for Go☆43Updated 6 years ago
- ☆121Updated this week
- Automatically exported from code.google.com/p/forestbus.server☆11Updated 9 years ago
- rst implements tools and methods to expose resources in a REST service.☆43Updated 9 years ago
- A customisable virtual machine written in Go☆222Updated 7 years ago