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
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆62Updated 3 years ago
• molecula / noticeme
  A simple static checker for unused results.
  ☆23Updated last year
• vektah / goparsify
  golang parser-combinator library
  ☆75Updated 2 years ago
• nickng / gospal
  Go static program analyser
  ☆58Updated 5 years ago
• doing-hacking / slippery-slope-markdown
  A stripped-down Markdown variant that hopefully won't slip
  ☆20Updated 7 years ago
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated last year
• alecthomas / langx
  Language experimentation.
  ☆21Updated last week
• rhu1 / fgg
  Mini prototype of FG/FGG/FGR in Go.
  ☆98Updated 3 years ago
• nickng / asyncpi
  An implementation of asynchronous π-calculus in Go
  ☆7Updated 3 years ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 3 months ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• michaelt / streaming-bytestring
  effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
  ☆20Updated 7 years ago
• siadat / interface-type-check
  Type check the empty interface{}
  ☆13Updated 4 years ago
• chewxy / hm
  a simple Hindley-Milner type system in Go
  ☆63Updated 7 years ago
• philandstuff / dhall-golang
  Dhall bindings for go
  ☆122Updated 2 years ago
• kevinawalsh / datalog
  A datalog prover and interpreter in Go.
  ☆36Updated 9 years ago
• i-am-tom / dagmore
  Less Type, more Typeable.
  ☆14Updated 6 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 5 years ago
• kowainik / hakyll-shortcut-links
  ✂️ Hakyll shortcut-links in markdown files
  ☆11Updated 3 years ago
• tylertreat / InverseBloomFilter
  Concurrent inverse Bloom filter.
  ☆13Updated 10 years ago
• cznic / hash
  github.com/cznic/hash has moved to modernc.org/hash
  ☆15Updated 6 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• lortabac / ariel
  A simple, purely-functional programming language
  ☆25Updated 2 years ago
• dmjio / aoc2017
  Advent of code 2017 ... ho' ho' ho', so much code' code' code', merry christmas!
  ☆8Updated 7 years ago
• loov / leakcheck
  Leakcheck checks whether program cleanly uses files and connections
  ☆21Updated 5 years ago
• ekmett / auth
  ☆40Updated 6 years ago
• quchen / show-prettyprint
  Robust prettyprinter for output of auto-generated Show instances
  ☆17Updated 5 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 8 months ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆16Updated 2 months ago