zond / godip
A dippy adjudicator in Go.
☆27Updated this week
Alternatives and similar repositories for godip:
Users that are interested in godip are comparing it to the libraries listed below
- Turtle graphics in Rust (work in progress)☆15Updated 8 years ago
- ☆38Updated 10 years ago
- Generics for go☆113Updated 10 years ago
- 7 day roguelike game for 2015☆87Updated 7 years ago
- Install a Cargo application from source without a preexisting Rust installation☆36Updated 10 years ago
- Repeatr: Reproducible, hermetic Computation. Provision containers from Content-Addressable snapshots; run using familiar containers (e.g…☆69Updated 5 years ago
- Web development with isomorphic Go☆164Updated 6 years ago
- Automatic build tool for all your projects☆33Updated 6 years ago
- The T text editor.☆60Updated 6 years ago
- Painless polymorphism☆126Updated 8 years ago
- A datalog prover and interpreter in Go.☆36Updated 9 years ago
- Tab completions for rustc and cargo!☆25Updated 4 years ago
- A restricted SSH server and library for supporting controlled Git repository access and code submission.☆29Updated 7 years ago
- Sum/Union/Variant Type in Go and Static Check Tool of switch-case handling☆44Updated 7 years ago
- http://nanomsg.org/ library for Rust☆11Updated 4 years ago
- A miniKanren implementation in Rust☆37Updated 9 years ago
- Neural Network toolkit in Go☆36Updated 9 years ago
- Functional, Persistent Data Structures in Rust☆50Updated 10 years ago
- a simple Hindley-Milner type system in Go☆63Updated 7 years ago
- literate-programming-style documentation for golang, modeled on docco☆45Updated 10 years ago
- A brainfuck procedural macro for Rust☆62Updated 8 years ago
- Linenoise FFI binding in rust☆12Updated 3 years ago
- Minimal Alpine-based Rust Docker image☆9Updated 8 years ago
- Golang implementation of datalog, port of MITRE corporation's lua implementation☆24Updated 4 years ago
- Demonstration crate for the tango literate programming tool.☆36Updated 3 years ago
- Package irc implements generic support for the IRC protocol in Go.☆236Updated 2 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆80Updated 4 years ago
- ☆16Updated 9 years ago
- Markdown-based Literate programming in Rust, integrated with Cargo.☆176Updated 2 years ago