wenkokke / featherweight-generic-go-generatorLinks
Test suite for implementations of Featherweight Generic Go
☆35Updated 5 years ago
Alternatives and similar repositories for featherweight-generic-go-generator
Users that are interested in featherweight-generic-go-generator are comparing it to the libraries listed below
Sorting:
- Gong liveness and channel safety checker☆31Updated 8 years ago
- a simple Hindley-Milner type system in Go☆65Updated 7 years ago
- Exploring some worst-case latencies in GCs, inspired by a post on GHC's runtime pause times: https://making.pusher.com/latency-working-se…☆54Updated last year
- ☆167Updated 5 years ago
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 4 years ago
- Dhall bindings for go☆123Updated 2 years ago
- Go static program analyser☆59Updated 5 years ago
- convert from a Go AST to JSON☆42Updated 5 years ago
- golang parser-combinator library☆78Updated 3 years ago
- Language experimentation.☆22Updated last month
- Type check the empty interface{}☆13Updated 5 years ago
- Continuous performance analysis reports for software projects 🤖☆41Updated 6 years ago
- Port of D. J. Bernstein's primegen prime number generator to Go☆31Updated 5 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 4 years ago
- A simple static checker for unused results.☆23Updated 2 years ago
- A datalog prover and interpreter in Go.☆37Updated 10 years ago
- A terminal-ui log watcher written in Go using the Flux architecture☆39Updated 8 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆43Updated 2 years ago
- Utilities for interacting with mailgun.com.☆28Updated 6 years ago
- a collection of functional programming constructs for go☆62Updated 8 years ago
- Formatter for Protocol Buffer files☆29Updated 3 years ago
- Python/C/Go/Rust/Haskell interop examples☆25Updated 8 years ago
- Sum/Union/Variant Type in Go and Static Check Tool of switch-case handling☆43Updated 8 years ago
- Haskell STUN (Session Traversal Utilities for NAT) implementation☆14Updated 4 years ago
- ☆23Updated 6 years ago
- A Smarter QuickCheck☆102Updated 8 years ago
- Binary floating-point formats in Go (IEEE 754 half and quadruple precision, x86 extended precision and PowerPC quadruple precision with d…☆23Updated 4 years ago
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- tools to modify go programs☆11Updated 10 years ago
- cgen generates C interfaces from C++ headers☆22Updated 9 years ago