Alternatives and similar repositories for CMips:

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

• uwplse / oeuf
  gallina frontend for CompCert
  ☆17Updated 5 years ago
• solatis / haskell-bitcoin-script
  Bitcoin script compilation, manipulation and decompilation
  ☆14Updated 4 years ago
• pigworker / SSGEP-DataData
  being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford
  ☆19Updated 9 years ago
• angerman / data-bitcode-llvm
  Data.BitCode.LLVM
  ☆9Updated 7 years ago
• expipiplus1 / exact-real
  Exact real arithmetic in Haskell
  ☆25Updated 3 years ago
• skogsbaer / xmlgen
  XML generator library for Haskell
  ☆15Updated 6 years ago
• crypto-agda / crypto-agda
  Cryptographic Constructions in the Type Theory of Agda
  ☆52Updated 9 years ago
• gallais / type-scope-semantics
  A self-contained repository for the paper Type and Scope Preserving Semantics
  ☆22Updated 5 years ago
• frex-project / haskell-frex
  ☆23Updated last year
• tdietert / diml
  Honors Thesis Summer/Fall 2015
  ☆11Updated 6 years ago
• nh2 / hackage-download
  Script to download all of Hackage
  ☆14Updated 5 years ago
• bolt12 / f-algebra-gen
  Generate a special combinator from any data type.
  ☆11Updated 5 years ago
• emc2 / clash-riscv
  A library of components for RISC-V implementations in Haskell CLaSH
  ☆11Updated 7 years ago
• CHTT-s18 / lecture-notes
  ☆27Updated 4 years ago
• isovector / constraints-emerge
  📤 defer instance resolution until runtime
  ☆18Updated 5 years ago
• PaulJohnson / geodetics
  Haskell library of data types and calculations for positions on planet Earth
  ☆18Updated 2 weeks ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆57Updated 10 months ago
• anuyts / menkar
  The multimode presheaf proof-assistant
  ☆36Updated last year
• dorchard / effectful-explanations-talk
  "Programs that explain their effects" talk material
  ☆17Updated 6 years ago
• vrahli / Velisarios
  A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems
  ☆31Updated 5 years ago
• mchakravarty / haskell.sty
  LaTeX style file to typeset functional languages like Haskell
  ☆26Updated 11 years ago
• serokell / cardano-sl
  Cryptographic currency implementing Ouroboros PoS protocol
  ☆12Updated 4 years ago
• tjknoth / resyn
  ☆21Updated 4 years ago
• sdiehl / galois-field
  Finite field and algebraic extension field arithmetic
  ☆50Updated 11 months ago
• hgoes / smtlib2
  SMTLib2 interface implementation for Haskell
  ☆16Updated 7 years ago
• input-output-hk / pvss-haskell
  ☆21Updated 6 years ago
• isovector / hs2
  a new, WIP Haskell compiler
  ☆14Updated 4 years ago
• laMudri / quantitative
  ☆16Updated 3 years ago
• GaloisInc / alex-tools
  A Haskell library making it easier to write Alex lexers.
  ☆12Updated 2 months ago