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
- 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 4 years ago
- a simple Hindley-Milner type system in Go☆65Updated 7 years ago
- Dhall bindings for go☆123Updated 2 years ago
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 4 years ago
- golang parser-combinator library☆78Updated 3 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 4 years ago
- Type check the empty interface{}☆13Updated 5 years ago
- Go static program analyser☆59Updated 5 years ago
- Language experimentation.☆22Updated last week
- Formatter for Protocol Buffer files☆29Updated 3 years ago
- convert from a Go AST to JSON☆42Updated 4 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated last year
- QuickCheck extras.☆29Updated 6 years ago
- Continuous performance analysis reports for software projects 🤖☆41Updated 6 years ago
- A Smarter QuickCheck☆102Updated 8 years ago
- A simple, purely-functional programming language☆25Updated 3 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Updated 2 months ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated this week
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 9 years ago
- model checking samples☆17Updated 4 years ago
- Raspberry Pi HTTP Interface for GPIO Control☆21Updated 8 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆21Updated 8 years ago
- A compiler for a simple language using llvm☆36Updated 2 years ago
- Tool to determine relevant parts of binary data☆44Updated 8 years ago
- Template for Hindley-Milner based languages☆39Updated 4 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
- Hashing with SL2 for Haskell☆20Updated 6 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Updated 13 years ago