Alternatives and similar repositories for CMips

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

• DeepSpec / dsss17
  Lecture material for DeepSpec Summer School 2017
  ☆88Updated 3 years ago
• isovector / constraints-emerge
  📤 defer instance resolution until runtime
  ☆18Updated 5 years ago
• solatis / haskell-bitcoin-script
  Bitcoin script compilation, manipulation and decompilation
  ☆14Updated 4 years ago
• bolt12 / tymfgg-pearl
  Type Your Matrices For Great Good
  ☆29Updated 4 years ago
• GaloisInc / alex-tools
  A Haskell library making it easier to write Alex lexers.
  ☆12Updated 8 months ago
• gallais / type-scope-semantics
  A self-contained repository for the paper Type and Scope Preserving Semantics
  ☆23Updated 6 years ago
• TerrorJack / ghc-alter
  Utilities for building Haskell tooling with ghc.
  ☆8Updated 7 years ago
• gelisam / cabal-rangefinder
  A tool to fill in the version ranges in a cabal file.
  ☆17Updated 10 years ago
• haskell / array
  ☆12Updated last week
• skogsbaer / xmlgen
  XML generator library for Haskell
  ☆15Updated 7 years ago
• expipiplus1 / exact-real
  Exact real arithmetic in Haskell
  ☆25Updated 3 years ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated last year
• Bodigrim / mod
  Modular arithmetic, promoting moduli to the type level
  ☆23Updated 5 months ago
• clash-lang / ghc-typelits-knownnat
  Derive KnownNat constraints from other KnownNat constraints
  ☆14Updated 3 months ago
• ezyang / ghc-proposals
  Proposed compiler and language changes for GHC and GHC/Haskell
  ☆25Updated 8 years ago
• IntelLabs / flrc-benchmarks
  Benchmarks for use with IntelLabs/flrc.
  ☆10Updated 2 years ago
• mvr / cf
  "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
  ☆40Updated 9 years ago
• blitzcode / ghc-stack
  Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)
  ☆69Updated 11 years ago
• wenkokke / msla2014
  wherein I implement several substructural logics in Agda
  ☆24Updated 6 years ago
• emc2 / clash-riscv
  A library of components for RISC-V implementations in Haskell CLaSH
  ☆12Updated 8 years ago
• sweirich / haskelltester
  Simple autograder for Haskell programming assignments
  ☆17Updated 4 months ago
• stackbuilders / cloud-haskell-chat
  Chat Server with Cloud Haskell
  ☆12Updated 7 years ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆83Updated 10 years ago
• bolt12 / f-algebra-gen
  Generate a special combinator from any data type.
  ☆10Updated 5 years ago
• gallais / aGdaREP
  Implementing grep in Agda
  ☆33Updated 4 years ago
• MaximilianAlgehed / VisPar
  S. Marlow's Par monad with dataflow graph output
  ☆13Updated 7 years ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆58Updated last year
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆24Updated 6 years ago
• jespercockx / ataca
  A TACtic library for Agda
  ☆48Updated 9 months ago
• Saizan / cubical-demo
  ☆45Updated 6 years ago