RISC-V instruction set simulator built for education
☆43Feb 11, 2023Updated 3 years ago
Alternatives and similar repositories for venus
Users that are interested in venus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 浙江大学操作系统课程仓库：文档☆18Jan 14, 2026Updated 8 months ago
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆17Jun 21, 2024Updated 2 years ago
- Scala port of Paolo Capriotti's optparse-applicative library. fork from https://github.com/bmjames/scala-optparse-applicative☆16Sep 14, 2026Updated last week
- MTL, but without the MT☆12Apr 20, 2025Updated last year
- Core modules for a blazing fast markup combinator library☆24May 25, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆10Nov 12, 2019Updated 6 years ago
- A common set of gradle plugins for scientifik and dataforge projects☆13Sep 7, 2026Updated 3 weeks ago
- A home for collaboration on construction of a multilingual FrameNet☆13Aug 25, 2017Updated 9 years ago
- SoC for CQU Dual Issue Machine☆12Sep 20, 2022Updated 4 years ago
- reverse tunnel server and client☆15Aug 30, 2010Updated 16 years ago
- ☆14Aug 4, 2021Updated 5 years ago
- A simple Python utility for extracting documentation snippets from tutorials.☆15May 22, 2026Updated 4 months ago
- a minimal git (clone) implementation☆17Dec 5, 2025Updated 9 months ago
- ☆23Feb 1, 2026Updated 7 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A prettyprinting library designed for laying out plain text documents☆24Updated this week
- NSCSCC 2020 - Yet Another MIPS Processor☆14Aug 7, 2021Updated 5 years ago
- A system☆16Sep 18, 2026Updated last week
- A terminal for the web☆16Jun 2, 2025Updated last year
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆20Sep 26, 2023Updated 3 years ago
- Scala REPL enhancements☆26Jul 16, 2026Updated 2 months ago
- Examine and discover LoongArch instructions☆25Sep 5, 2026Updated 3 weeks ago
- ☆13Dec 2, 2025Updated 9 months ago
- a book about declarative language definition☆25Mar 31, 2016Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Access bookkeeping for RISC-V Lab☆21Jun 6, 2026Updated 3 months ago
- The Montreal Haskell Compiler☆27Oct 16, 2025Updated 11 months ago
- Header-only C/C++ static keys to avoid the overhead of conditional branches☆14Feb 10, 2024Updated 2 years ago
- uCore MIPS32 porting☆18Dec 16, 2019Updated 6 years ago
- 跨社区工单追踪 & 讨论场所 / Cross-community issue tracker & discussions☆22Oct 13, 2023Updated 2 years ago
- GUI editor for hardware description designs☆30Sep 14, 2026Updated last week
- ☆20Apr 8, 2026Updated 5 months ago
- ☆13Jun 6, 2024Updated 2 years ago
- Source Code for 'Building an Enterprise Chatbot' by Abhishek Singh, Karthik Ramasubramanian and Shrey Shivam☆15May 6, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Simulacrum as Scalafix rules☆36Sep 20, 2026Updated last week
- A build tool for Scala☆38Dec 27, 2024Updated last year
- R2MDC FFT/IFFT processor adaptive to 64/128/256/512 point☆19Dec 23, 2025Updated 9 months ago
- A simple 5-stage Pipeline RISC-V core☆19Jun 8, 2021Updated 5 years ago
- LABind: Identifying Protein Binding Ligand-Aware Sites via Learning Interactions Between Ligand and Protein☆18Aug 21, 2025Updated last year
- The Ultimate Online Judge Platform.☆21Mar 23, 2026Updated 6 months ago
- A cross-platform package builder for Unix-like systems☆32Sep 15, 2026Updated last week