thoughtpolice / rv32-sailView external linksLinks
32-bit RISC-V Emulator
☆26Feb 23, 2019Updated 6 years ago
Alternatives and similar repositories for rv32-sail
Users that are interested in rv32-sail are comparing it to the libraries listed below
Sorting:
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆12May 24, 2019Updated 6 years ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- A GitHub Action that creates meaningful pull requests with updates to your niv-managed dependencies, so you don't have to do menial chore…☆29Nov 24, 2025Updated 2 months ago
- ☆16Dec 29, 2018Updated 7 years ago
- System-on-a-Chip for FPGA, with xr16 RISC core and LCC port☆12Jul 23, 2017Updated 8 years ago
- A compiler for the Algol W programming language.☆15Jul 13, 2025Updated 7 months ago
- egraph <-> json☆16Dec 29, 2025Updated last month
- A Haskell ADL to generate terraform files.☆17Aug 17, 2020Updated 5 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- Yet Another XC7Z010 Board☆17Mar 22, 2022Updated 3 years ago
- Mouse Follows Focus for EXWM☆13Jul 27, 2022Updated 3 years ago
- Synthesize Verilog to Minecraft redstone☆21Nov 9, 2024Updated last year
- A simple formatter for Nix using tree-sitter-nix.☆46Nov 5, 2019Updated 6 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Nov 13, 2024Updated last year
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- Modern HTTP mock server for your daily project based on Dhall configuration☆22Oct 16, 2020Updated 5 years ago
- DEPRECATED. Tell your puppeteer or playwright to use nixpkgs's google-chrome-dev's google-chrome-unstable binary. Previously: Patch playw…☆19Oct 12, 2022Updated 3 years ago
- ☆24Feb 26, 2023Updated 2 years ago
- nix-shell for emacs buffers☆90Feb 17, 2018Updated 8 years ago
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆24Dec 12, 2025Updated 2 months ago
- Custom IC Design Platform☆46Updated this week
- Relational programming for OCaml (unreleased)☆24Jun 6, 2022Updated 3 years ago
- Dynamic Disnix: A toolset enabling self-adaptive redeployment on top of Disnix☆30Sep 21, 2023Updated 2 years ago
- Performant and safe knowledge compilation in rust☆31Nov 16, 2025Updated 3 months ago
- Automatic bullet cycling for Org mode☆28Mar 1, 2025Updated 11 months ago
- The nix template, configured for Gitpod (www.gitpod.io) to give you pre-built, nix based ephemeral development environments in the cloud.☆32Nov 18, 2022Updated 3 years ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆24Sep 11, 2024Updated last year
- ☆24Feb 11, 2021Updated 5 years ago
- A version of the Lisp programming language for STM32-based boards☆27Dec 4, 2020Updated 5 years ago
- SVG-based themes for mode-line☆46Apr 27, 2015Updated 10 years ago
- A Deductive Verification Tool for OCaml Programs☆76Oct 9, 2025Updated 4 months ago
- ⏲️ Effortlessly clock in/out of org-mode tasks, with completion and persistent history☆107May 22, 2024Updated last year
- A tool to automatically convert Hex packages to the Nix Expression format☆32Apr 9, 2020Updated 5 years ago
- A Forth implementation for the R216K8B Powder Toy computer.☆27May 24, 2024Updated last year
- Filter search output with extreme prejudice☆26Mar 24, 2021Updated 4 years ago
- ☆28Aug 26, 2025Updated 5 months ago
- ☆33Jun 3, 2021Updated 4 years ago
- ☆30May 9, 2025Updated 9 months ago
- A library that allows processes to waive their rights☆27Dec 22, 2015Updated 10 years ago