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
  ☆31Updated 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 last year
• chewxy / hm
  a simple Hindley-Milner type system in Go
  ☆64Updated 7 years ago
• philandstuff / dhall-golang
  Dhall bindings for go
  ☆123Updated 2 years ago
• ReconfigureIO / goblin
  convert from a Go AST to JSON
  ☆42Updated 4 years ago
• github / deli
  ☆167Updated 4 years ago
• alecthomas / langx
  Language experimentation.
  ☆22Updated this week
• rhu1 / fgg
  Mini prototype of FG/FGG/FGR in Go.
  ☆98Updated 4 years ago
• vektah / goparsify
  golang parser-combinator library
  ☆76Updated 3 years ago
• siadat / interface-type-check
  Type check the empty interface{}
  ☆13Updated 5 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆62Updated 4 years ago
• pabloariasal / protofmt
  Formatter for Protocol Buffer files
  ☆29Updated 3 years ago
• awalterschulze / gominikanren
  a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
  ☆42Updated 2 years ago
• nickng / gospal
  Go static program analyser
  ☆58Updated 5 years ago
• jBugman / interop
  Python/C/Go/Rust/Haskell interop examples
  ☆25Updated 8 years ago
• kevinawalsh / datalog
  A datalog prover and interpreter in Go.
  ☆38Updated 9 years ago
• asteris-llc / gofpher
  a collection of functional programming constructs for go
  ☆62Updated 8 years ago
• molecula / noticeme
  A simple static checker for unused results.
  ☆23Updated last year
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 11 months ago
• saschagrunert / performabot
  Continuous performance analysis reports for software projects 🤖
  ☆41Updated 6 years ago
• mewmew / float
  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
• matijapretnar / aeff
  An interactive interpreter for asynchronous algebraic effects
  ☆14Updated last year
• haya14busa / gosum
  Sum/Union/Variant Type in Go and Static Check Tool of switch-case handling
  ☆43Updated 7 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• lukechampine / intersort
  Sort anything. (Warning: cursed)
  ☆58Updated 6 years ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• joshsharp / braid
  A functional language with Reason-like syntax that compiles to Go.
  ☆139Updated 6 years ago
• anttisalonen / cgen
  cgen generates C interfaces from C++ headers
  ☆22Updated 8 years ago
• michaelt / streaming-bytestring
  effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
  ☆21Updated 7 years ago
• oherrala / haskell-stun
  Haskell STUN (Session Traversal Utilities for NAT) implementation
  ☆14Updated 3 years ago