agra-uni-bremen / libriscvLinks
Extensible implementation of the RISC-V ISA based on FreeMonads
☆15Updated 11 months ago
Alternatives and similar repositories for libriscv
Users that are interested in libriscv are comparing it to the libraries listed below
Sorting:
- Formal specification of the Haskell Language Report☆17Updated this week
- Austin's supercompiler work☆21Updated 5 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆18Updated 4 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- ☆17Updated last year
- A special-purpose processor for pure, non-strict functional languages☆28Updated 5 months ago
- Tic Tac Toe, formalized in Agda☆23Updated 3 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- ☆29Updated 4 years ago
- A library for binary analysis and rewriting☆47Updated last year
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- A human readable style for binary data.☆11Updated 5 years ago
- The Hadrian build system for GHC☆9Updated 6 years ago
- Clash implementation of the Compucolor II home computer☆31Updated 3 years ago
- A plugin for circuit notation☆11Updated 6 months ago
- Intocode interpreter for Advent of Code 2019☆10Updated 6 months ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.☆19Updated 5 months ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 10 months ago
- Generate interface between Clash and Verilator☆22Updated last year
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 3 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆25Updated 3 weeks ago
- Library for invertible parsing and printing☆32Updated last year
- Regular expressions of types☆16Updated 6 years ago
- half-precision floating-point☆14Updated last week
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆15Updated 6 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 3 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Updated 8 years ago