agra-uni-bremen / libriscvLinks
Extensible implementation of the RISC-V ISA based on FreeMonads
☆15Updated last year
Alternatives and similar repositories for libriscv
Users that are interested in libriscv are comparing it to the libraries listed below
Sorting:
- A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.☆19Updated 5 months ago
- A plugin for circuit notation☆12Updated 7 months ago
- Tic Tac Toe, formalized in Agda☆23Updated 3 years ago
- Where Lions Roam: Haskell & Hardware on VELDT☆22Updated last year
- A special-purpose processor for pure, non-strict functional languages☆28Updated 6 months ago
- Minimal binary serialization library with focus on performance☆17Updated last week
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆19Updated 4 years ago
- Generate interface between Clash and Verilator☆22Updated last year
- Library for invertible parsing and printing☆32Updated last year
- View 3D models in the terminal☆10Updated 5 years ago
- Formal specification of the Haskell Language Report☆17Updated last week
- Clash implementation of the Compucolor II home computer☆31Updated 3 years ago
- Produce Haskell functions out of partial definitions☆12Updated last week
- Regular expressions of types☆16Updated 6 years ago
- ☆17Updated last year
- Interactive Theorem Proving for students☆20Updated last year
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 10 months ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- Stratified synthesis for learning machine code instruction semantics☆37Updated last month
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Updated 3 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Updated 6 years ago
- The Java Symbolic Simulator, part of SAW.☆10Updated 4 years ago
- Intocode interpreter for Advent of Code 2019☆10Updated 7 months ago
- A library for binary analysis and rewriting☆47Updated last year
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆23Updated 14 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Genetic program repair using GHC☆30Updated last year
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 3 years ago