Alternatives and similar repositories for monopig

Users that are interested in monopig are comparing it to the libraries listed below

• GaloisInc / LIMA
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Updated 6 years ago
• Copilot-Language / copilot-language
  (DEPRECATED) Front-end of Copilot defining the user language.
  ☆16Updated 4 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 7 years ago
• ibrahimsag / rw
  an experiment in presenting code.
  ☆14Updated 4 years ago
• TobiReinhart / sparse-tensor
  typesafe implementation of tensor algebra in Haskell
  ☆13Updated 4 years ago
• xlq / aos
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆44Updated 13 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• icicle-lang / zebra-ambiata
  Read and write the zebra file format used for blizzard snapshots.
  ☆11Updated 6 years ago
• coot / heyting-algebras
  Heyting Algebras in Haskell
  ☆14Updated 2 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 11 months ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 5 years ago
• cblp / python5
  Python5
  ☆15Updated 6 years ago
• ilya-klyuchnikov / sc-mini
  SC Mini is a "minimal" positive supercompiler
  ☆46Updated 4 years ago
• phadej / kleene-type
  Regular expressions of types
  ☆16Updated 6 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆36Updated 3 months ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆27Updated 5 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated this week
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• TravisWhitaker / libglaswegian
  Use GHC's Memory Allocator from C
  ☆11Updated 5 years ago
• knupfer / physics
  Physical dimensions and operations
  ☆9Updated 6 years ago
• philzook58 / lens-algebra
  Type level algebraic "proofs" using lens combinators
  ☆19Updated 5 years ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 5 years ago
• tdammers / ghc-wiki
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Updated 6 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• bos / suffixtree
  An efficient, lazy suffix tree implementation
  ☆13Updated 4 years ago