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 7 months ago
• chewxy / hm
  a simple Hindley-Milner type system in Go
  ☆63Updated 7 years ago
• rhu1 / fgg
  Mini prototype of FG/FGG/FGR in Go.
  ☆98Updated 3 years ago
• katcipis / morfos
  Hacking on Go's type system
  ☆9Updated 7 years ago
• nickng / gospal
  Go static program analyser
  ☆58Updated 5 years ago
• siadat / interface-type-check
  Type check the empty interface{}
  ☆13Updated 4 years ago
• awalterschulze / gominikanren
  a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
  ☆41Updated last year
• philandstuff / dhall-golang
  Dhall bindings for go
  ☆121Updated 2 years ago
• molecula / noticeme
  A simple static checker for unused results.
  ☆23Updated last year
• vektah / goparsify
  golang parser-combinator library
  ☆75Updated 2 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• doing-hacking / slippery-slope-markdown
  A stripped-down Markdown variant that hopefully won't slip
  ☆20Updated 7 years ago
• kevinawalsh / datalog
  A datalog prover and interpreter in Go.
  ☆36Updated 9 years ago
• nickng / asyncpi
  An implementation of asynchronous π-calculus in Go
  ☆7Updated 3 years ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆9Updated 5 years ago
• ReconfigureIO / goblin
  convert from a Go AST to JSON
  ☆42Updated 4 years ago
• srwiley / Inliner
  Inliner is a Go language pre-processor that uses the go tool's 'generate' facility to inline simple functions in Go.
  ☆16Updated 2 years ago
• github / deli
  ☆166Updated 4 years ago
• cederstone / analysis
  Static analysis of Go code through golang.org/x/tools/go/analysis
  ☆22Updated 6 years ago
• rsc / grepdiff
  grep for diffs
  ☆39Updated 9 months ago
• jbarham / primegen
  Port of D. J. Bernstein's primegen prime number generator to Go
  ☆31Updated 5 years ago
• haya14busa / gosum
  Sum/Union/Variant Type in Go and Static Check Tool of switch-case handling
  ☆44Updated 7 years ago
• rsc / mailgun
  Utilities for interacting with mailgun.com.
  ☆28Updated 5 years ago
• rocky / ssa-interp
  A Go SSA Debugger and Interpreter
  ☆31Updated 10 years ago
• JujuYuki / godel2
  Godel Checker with data race detection
  ☆9Updated 3 years ago
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated last year
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• denzel-morris / clex
  A C11 positional lexer with error reporting written in Go
  ☆22Updated 7 years ago
• tylertreat / InverseBloomFilter
  Concurrent inverse Bloom filter.
  ☆13Updated 10 years ago