agra-uni-bremen / libriscvLinks
Extensible implementation of the RISC-V ISA based on FreeMonads
☆13Updated 10 months ago
Alternatives and similar repositories for libriscv
Users that are interested in libriscv are comparing it to the libraries listed below
Sorting:
- A special-purpose processor for pure, non-strict functional languages☆28Updated 4 months ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.☆19Updated 4 months ago
- Generate interface between Clash and Verilator☆22Updated last year
- Tic Tac Toe, formalized in Agda☆23Updated 3 years ago
- Regular expressions of types☆16Updated 6 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Updated 5 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆18Updated 4 years ago
- 32-bit RISC-V Emulator☆24Updated 6 years ago
- Clash implementation of the Compucolor II home computer☆31Updated 3 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
- Produce Haskell functions out of partial definitions☆12Updated last week
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆15Updated 6 years ago
- ☆19Updated this week
- sliding fast fourier transform using haskell streaming☆13Updated 6 years ago
- Bring fusion to everyone☆13Updated 5 years ago
- Generic pretty-printer for program output☆11Updated last year
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Updated 6 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Heyting Algebras in Haskell☆14Updated 2 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- ☆29Updated 4 years ago
- An efficient graph library for Haskell☆39Updated last week
- The Hadrian build system for GHC☆9Updated 6 years ago
- The Java Symbolic Simulator, part of SAW.☆10Updated 4 years ago
- A compiler that translates a form of lambda calculus to C☆12Updated last year
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Updated 7 years ago
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago