32-bit RISC-V Emulator
☆27Feb 23, 2019Updated 7 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:
- 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 3 months ago
- ☆16Dec 29, 2018Updated 7 years ago
- A compiler for the Algol W programming language.☆15Jul 13, 2025Updated 7 months ago
- An experimental mutual induction tactic for Lean 4.☆23Jan 12, 2026Updated last month
- egraph <-> json☆16Dec 29, 2025Updated 2 months ago
- Yet Another XC7Z010 Board☆17Mar 22, 2022Updated 3 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- A Haskell ADL to generate terraform files.☆17Aug 17, 2020Updated 5 years ago
- Mouse Follows Focus for EXWM☆13Jul 27, 2022Updated 3 years ago
- 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
- 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 3 years ago
- nix-shell for emacs buffers☆90Feb 17, 2018Updated 8 years ago
- Performant and safe knowledge compilation in rust☆31Nov 16, 2025Updated 3 months ago
- The 9p protocol as a serde format and message types.☆32May 21, 2021Updated 4 years ago
- Org Babel integration with DuckDB.☆45Dec 22, 2025Updated 2 months ago
- Dynamic Disnix: A toolset enabling self-adaptive redeployment on top of Disnix☆30Sep 21, 2023Updated 2 years ago
- Relational programming for OCaml (unreleased)☆24Jun 6, 2022Updated 3 years ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆24Sep 11, 2024Updated last year
- Automatic bullet cycling for Org mode☆28Mar 1, 2025Updated last year
- ☆24Feb 11, 2021Updated 5 years ago
- SVG-based themes for mode-line☆46Apr 27, 2015Updated 10 years ago
- A Deductive Verification Tool for OCaml Programs☆77Updated this week
- ⏲️ 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
- ☆30May 9, 2025Updated 10 months 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
- A library that allows processes to waive their rights☆27Dec 22, 2015Updated 10 years ago
- Python term rewriting☆30Feb 14, 2013Updated 13 years ago
- Collection of Automated Reasoners☆35Dec 9, 2025Updated 3 months ago
- Tramp ivy interface for ssh and docker and vagrant☆61Jul 14, 2023Updated 2 years ago
- A compiler for an Ada-like language☆32May 5, 2025Updated 10 months ago
- Binary analysis in HOL☆46Feb 13, 2026Updated 3 weeks ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆40Apr 11, 2023Updated 2 years ago
- Vagrant plugin to add nixos guest capabilities and nix provisioning [maintainer=@zimbatm]☆72Jul 5, 2018Updated 7 years ago