Alternatives and similar repositories for CMips:

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

• gallais / type-scope-semantics
  A self-contained repository for the paper Type and Scope Preserving Semantics
  ☆22Updated 6 years ago
• wouter-swierstra / Brainfuck
  A Brainfuck interpreter written in Agda
  ☆49Updated 3 years ago
• mietek / et-lang
  ET (IPL) language interpreters and literature
  ☆26Updated 6 years ago
• haskell-works / hw-simd
  Library of simd functions
  ☆18Updated last year
• anuyts / menkar
  The multimode presheaf proof-assistant
  ☆36Updated 2 years ago
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆70Updated 5 years ago
• expipiplus1 / exact-real
  Exact real arithmetic in Haskell
  ☆25Updated 3 years ago
• MaximilianAlgehed / VisPar
  S. Marlow's Par monad with dataflow graph output
  ☆13Updated 7 years ago
• solatis / haskell-bitcoin-script
  Bitcoin script compilation, manipulation and decompilation
  ☆14Updated 4 years ago
• aionescu / oplang
  Stack-based esoteric programming language
  ☆18Updated 2 months ago
• tjknoth / resyn
  ☆21Updated 4 years ago
• isovector / constraints-emerge
  📤 defer instance resolution until runtime
  ☆18Updated 5 years ago
• GaloisInc / alex-tools
  A Haskell library making it easier to write Alex lexers.
  ☆12Updated 5 months ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆58Updated last year
• bch29 / agda-holes
  Agda programming with holes
  ☆27Updated 4 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 5 years ago
• bolt12 / f-algebra-gen
  Generate a special combinator from any data type.
  ☆10Updated 5 years ago
• sdiehl / galois-field
  Finite field and algebraic extension field arithmetic
  ☆50Updated last year
• angerman / data-bitcode-llvm
  Data.BitCode.LLVM
  ☆9Updated 7 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 7 years ago
• dmwit / pi-eta-epsilon
  An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
  ☆23Updated 12 years ago
• acowley / BostonHaskell2015
  [Talk] Framing the Discussion with EDSLs
  ☆9Updated 10 years ago
• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆61Updated last year
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆24Updated 6 years ago
• gmalecha / template-coq
  Reflection library for Coq
  ☆12Updated 5 years ago
• jdreaver / amy
  Strict Haskell-like programming language that compiles to LLVM
  ☆70Updated 5 years ago
• pigworker / SSGEP-DataData
  being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford
  ☆20Updated 9 years ago
• serokell / cardano-sl
  Cryptographic currency implementing Ouroboros PoS protocol
  ☆12Updated 4 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 4 years ago
• Daniel-Diaz / haskintex
  Haskell Evaluation inside of LaTeX code.
  ☆22Updated last year