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 11 months ago
- ☆166Updated 4 years ago
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 4 years ago
- a simple Hindley-Milner type system in Go☆64Updated 7 years ago
- Type check the empty interface{}☆13Updated 4 years ago
- Dhall bindings for go☆122Updated 2 years ago
- golang parser-combinator library☆76Updated 2 years ago
- Go static program analyser☆58Updated 5 years ago
- convert from a Go AST to JSON☆42Updated 4 years ago
- Formatter for Protocol Buffer files☆29Updated 3 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- cgen generates C interfaces from C++ headers☆22Updated 8 years ago
- Continuous performance analysis reports for software projects 🤖☆41Updated 6 years ago
- Godel Checker with data race detection☆9Updated 3 years ago
- Python/C/Go/Rust/Haskell interop examples☆25Updated 8 years ago
- a collection of functional programming constructs for go☆62Updated 8 years ago
- Language experimentation.☆21Updated 2 weeks ago
- Binary floating-point formats in Go (IEEE 754 half and quadruple precision, x86 extended precision and PowerPC quadruple precision with d…☆23Updated 3 years ago
- QuickCheck extras.☆29Updated 6 years ago
- A simple static checker for unused results.☆23Updated last year
- Hacking on Go's type system☆10Updated 8 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆21Updated 7 years ago
- A lambda calculus interpreter. GET IT?☆81Updated 3 years ago
- An implementation of asynchronous π-calculus in Go☆7Updated 3 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- A stripped-down Markdown variant that hopefully won't slip☆20Updated 8 years ago
- Sum/Union/Variant Type in Go and Static Check Tool of switch-case handling☆44Updated 7 years ago
- Haskell STUN (Session Traversal Utilities for NAT) implementation☆14Updated 3 years ago
- Edison: A Library of Efficient Data Structures☆56Updated 3 months ago