ReedOei / CMips

Related projects ⓘ

Alternatives and complementary repositories for CMips

• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆57Updated 8 months ago
• tjknoth / resyn
  ☆21Updated 3 years ago
• emc2 / clash-riscv
  A library of components for RISC-V implementations in Haskell CLaSH
  ☆11Updated 7 years ago
• gallais / type-scope-semantics
  A self-contained repository for the paper Type and Scope Preserving Semantics
  ☆22Updated 5 years ago
• nh2 / hackage-download
  Script to download all of Hackage
  ☆14Updated 5 years ago
• chpatrick / clang-pure
  Easy C++ code analysis with pure Haskell
  ☆35Updated last month
• andorp / mini-grin
  ICFP tutorial
  ☆40Updated 3 years ago
• cronburg / antlr-haskell
  A language parsing quasiquoter for Haskell based heavily on ANTLR4.
  ☆50Updated 3 years ago
• crypto-agda / crypto-agda
  Cryptographic Constructions in the Type Theory of Agda
  ☆52Updated 9 years ago
• gallais / aGdaREP
  Implementing grep in Agda
  ☆32Updated 3 years ago
• berenoguz / Math
  Formalization of Mathematics using Type Theory of Agda Programming Language
  ☆11Updated 6 years ago
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆25Updated 6 years ago
• AndrasKovacs / normalization-bench
  Lambda normalization and conversion checking benchmarks for various implementations
  ☆55Updated 3 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆25Updated 5 years ago
• bch29 / agda-holes
  Agda programming with holes
  ☆26Updated 3 years ago
• IntelLabs / flrc-benchmarks
  Benchmarks for use with IntelLabs/flrc.
  ☆10Updated 2 years ago
• sweirich / haskelltester
  Simple autograder for Haskell programming assignments
  ☆17Updated 2 months ago
• Saizan / cubical-demo
  ☆45Updated 5 years ago
• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆60Updated last year
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 4 years ago
• xnning / GHC-Core-Literature-Review
  Literature review of GHC's Core language, System FC
  ☆67Updated 6 years ago
• laMudri / quantitative
  ☆16Updated 2 years ago
• wenkokke / msla2014
  wherein I implement several substructural logics in Agda
  ☆24Updated 6 years ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆64Updated 3 years ago
• jdreaver / amy
  Strict Haskell-like programming language that compiles to LLVM
  ☆70Updated 5 years ago
• anuyts / menkar
  The multimode presheaf proof-assistant
  ☆36Updated last year
• jespercockx / ataca
  A TACtic library for Agda
  ☆48Updated 2 months ago
• llvm-hs / llvm-hs-examples
  Examples for Haskell bindings to LLVM
  ☆71Updated 3 years ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated 7 months ago
• flupe / generics
  ☆21Updated 4 months ago
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆21Updated 10 years ago