wenkokke / featherweight-generic-go-generator

Related projects ⓘ

Alternatives and complementary repositories for featherweight-generic-go-generator

• chewxy / hm
  a simple Hindley-Milner type system in Go
  ☆59Updated 6 years ago
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated last year
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 4 years ago
• vektah / goparsify
  golang parser-combinator library
  ☆74Updated 2 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆34Updated 2 weeks ago
• xldenis / ill
  educational compiler for not (quite) toy languages
  ☆20Updated 5 years ago
• anttisalonen / cgen
  cgen generates C interfaces from C++ headers
  ☆22Updated 8 years ago
• rhu1 / fgg
  Mini prototype of FG/FGG/FGR in Go.
  ☆98Updated 3 years ago
• michaelt / streaming-bytestring
  effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
  ☆19Updated 6 years ago
• asteris-llc / gofpher
  a collection of functional programming constructs for go
  ☆61Updated 7 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• dvanhorn / ubik
  Small Scheme interpreter and compiler
  ☆14Updated 8 years ago
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆13Updated 7 years ago
• leepike / SmartCheck
  A Smarter QuickCheck
  ☆102Updated 7 years ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 9 months ago
• ChrisPenner / mad-props
  Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.
  ☆66Updated 2 years ago
• 5outh / Molecule
  A tiny statically typed programming language
  ☆18Updated 10 years ago
• i-am-tom / dagmore
  Less Type, more Typeable.
  ☆14Updated 5 years ago
• quchen / show-prettyprint
  Robust prettyprinter for output of auto-generated Show instances
  ☆18Updated 4 years ago
• PaulBone / ast2wasm
  AST to WebAssembly
  ☆11Updated 6 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 2 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆32Updated 5 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 5 months ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 3 months ago
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆43Updated last year
• alecthomas / langx
  Language experimentation.
  ☆21Updated this week
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 8 years ago