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

• nickng / gong
  Gong liveness and channel safety checker
  ☆30Updated 7 years ago
• WillSewell / gc-latency-experiment
  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
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆62Updated 3 years ago
• nickng / gospal
  Go static program analyser
  ☆58Updated 5 years ago
• nickng / asyncpi
  An implementation of asynchronous π-calculus in Go
  ☆7Updated 3 years ago
• siadat / interface-type-check
  Type check the empty interface{}
  ☆13Updated 4 years ago
• molecula / noticeme
  A simple static checker for unused results.
  ☆23Updated last year
• vektah / goparsify
  golang parser-combinator library
  ☆76Updated 2 years ago
• rhu1 / fgg
  Mini prototype of FG/FGG/FGR in Go.
  ☆98Updated 4 years ago
• JujuYuki / godel2
  Godel Checker with data race detection
  ☆9Updated 3 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 8 months ago
• jbarham / primegen
  Port of D. J. Bernstein's primegen prime number generator to Go
  ☆31Updated 5 years ago
• philandstuff / dhall-golang
  Dhall bindings for go
  ☆122Updated 2 years ago
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated 2 years ago
• chewxy / hm
  a simple Hindley-Milner type system in Go
  ☆63Updated 7 years ago
• alecthomas / langx
  Language experimentation.
  ☆21Updated 3 weeks ago
• srijs / hwsl2-haskell
  Hashing with SL2 for Haskell
  ☆19Updated 5 years ago
• pabloariasal / protofmt
  Formatter for Protocol Buffer files
  ☆29Updated 2 years ago
• anttisalonen / cgen
  cgen generates C interfaces from C++ headers
  ☆22Updated 8 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 6 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 3 years ago
• github / deli
  ☆166Updated 4 years ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 4 months ago
• michaelt / streaming-bytestring
  effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
  ☆20Updated 7 years ago
• katcipis / morfos
  Hacking on Go's type system
  ☆9Updated 8 years ago
• cederstone / analysis
  Static analysis of Go code through golang.org/x/tools/go/analysis
  ☆22Updated 6 years ago
• spion / hashtable-latencies
  Latency of a web service that stores a large hashtable, in multiple languages
  ☆44Updated 2 years ago
• NicolasT / paxos
  A Haskell library implementing several Paxos-related algorithms
  ☆25Updated 12 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 6 years ago