wenkokke / featherweight-generic-go-generatorLinks
Test suite for implementations of Featherweight Generic Go
☆34Updated 4 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☆30Updated 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 9 months ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- Go static program analyser☆58Updated 5 years ago
- An implementation of asynchronous π-calculus in Go☆7Updated 3 years ago
- Type check the empty interface{}☆13Updated 4 years ago
- A simple static checker for unused results.☆23Updated last year
- golang parser-combinator library☆76Updated 2 years ago
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 4 years ago
- Godel Checker with data race detection☆9Updated 3 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 8 months ago
- Port of D. J. Bernstein's primegen prime number generator to Go☆31Updated 5 years ago
- Dhall bindings for go☆122Updated 2 years ago
- A compiler for a simple language using llvm☆35Updated 2 years ago
- a simple Hindley-Milner type system in Go☆63Updated 7 years ago
- Language experimentation.☆21Updated 3 weeks ago
- Hashing with SL2 for Haskell☆19Updated 5 years ago
- Formatter for Protocol Buffer files☆29Updated 2 years ago
- cgen generates C interfaces from C++ headers☆22Updated 8 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- JVM code generation☆32Updated 6 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- ☆166Updated 4 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 4 months ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆20Updated 7 years ago
- Hacking on Go's type system☆9Updated 8 years ago
- Static analysis of Go code through golang.org/x/tools/go/analysis☆22Updated 6 years ago
- Latency of a web service that stores a large hashtable, in multiple languages☆44Updated 2 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Updated 12 years ago
- QuickCheck extras.☆29Updated 6 years ago