ReedOei / CMips
A C to MIPS compiler.
☆10Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for CMips
- gallina frontend for CompCert☆17Updated 5 years ago
- Agda programming with holes☆26Updated 3 years ago
- Macro Lambda Calculus☆45Updated 5 years ago
- Haskell optimisation tool based on supercompilation☆26Updated 8 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆11Updated 7 years ago
- Bitcoin script compilation, manipulation and decompilation☆14Updated 4 years ago
- A self-contained repository for the paper Type and Scope Preserving Semantics☆22Updated 5 years ago
- a new, WIP Haskell compiler☆14Updated 4 years ago
- wherein I implement several substructural logics in Agda☆24Updated 6 years ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆57Updated 8 months ago
- ☆21Updated 3 years ago
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Updated 12 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 3 years ago
- LR(1) parser (and generator)☆8Updated last year
- Lean Theorem Prover☆15Updated 6 years ago
- The multimode presheaf proof-assistant☆36Updated last year
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- ☆34Updated this week
- Analytic sampler compiler for combinatorial systems☆30Updated 2 years ago
- ☆16Updated 2 years ago
- Finite field and algebraic extension field arithmetic☆50Updated 9 months ago
- Cryptographic Constructions in the Type Theory of Agda☆52Updated 9 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆14Updated 3 years ago
- Exact real arithmetic in Haskell☆25Updated 2 years ago
- Convert Haskell source code to Coq source code.☆79Updated 2 months ago
- A language parsing quasiquoter for Haskell based heavily on ANTLR4.☆50Updated 3 years ago
- A formalized proof of a version of the initiality conjecture☆41Updated 4 years ago
- Sturdy is a library for developing sound static analyses in Haskell.☆60Updated last year
- Formalization of Mathematics using Type Theory of Agda Programming Language☆11Updated 6 years ago