An operating system developed at University of Wrocław targeting the RISC-V architecture
☆14Mar 20, 2026Updated this week
Alternatives and similar repositories for BigOS
Users that are interested in BigOS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Command-Line Argument Parser for C++20☆23Jan 1, 2026Updated 2 months ago
- 📕 A book about Algorithms and Data Structures (PL)☆17Aug 8, 2024Updated last year
- Lecture notes for the Type Systems course given in Autumn 2023☆15Mar 26, 2024Updated 2 years ago
- Synchronous Message Exchange☆11Feb 3, 2026Updated last month
- Template for creating C++ projects that use CMake.☆19Mar 20, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Official Clerk-Prisma starter project☆23Mar 21, 2022Updated 4 years ago
- C in four functions☆14Feb 14, 2020Updated 6 years ago
- A programming tool for the iCE40 FPGA evaluation boards.☆13Jun 5, 2024Updated last year
- IEC 62056 smart meter readout in perl☆11Mar 16, 2018Updated 8 years ago
- How to use the Intel JTAG primitive without using virtual JTAG☆17Oct 31, 2021Updated 4 years ago
- A multiplexer for TikZ Circuits☆14Jul 29, 2015Updated 10 years ago
- An experimental programming language that combines effect handlers and implicit parameters☆43Updated this week
- Ghidra plugin for querying the Symgrate databases.☆15Apr 30, 2025Updated 10 months ago
- Wine on steroids☆14Jan 1, 2023Updated 3 years ago
- 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.
- ☆17Nov 10, 2015Updated 10 years ago
- Segher's Wii tools☆16Jan 1, 2022Updated 4 years ago
- Use conduit to process/manipulate/convert audio☆18Feb 26, 2026Updated last month
- Automatic Disassembly Desynchronization Obfuscator☆15Apr 14, 2022Updated 3 years ago
- Super Mario Galaxy 2 multiplayer☆15Feb 25, 2023Updated 3 years ago
- Generate interface between Clash and Verilator☆23Dec 22, 2025Updated 3 months ago
- ☆19May 3, 2024Updated last year
- Multithread allocator for vulkan descriptor sets.☆28Mar 15, 2020Updated 6 years ago
- Coding practice tool with automatic grading and LTI integration☆16Updated this week
- 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.
- 64kB intro for Revision 2023☆19May 2, 2025Updated 10 months ago
- Solutions and other stuff from the university courses I attended.☆14May 19, 2021Updated 4 years ago
- Altera JTAG UART wrapper for Bluespec☆25Mar 27, 2014Updated 11 years ago
- FPGA implementation of the TRS-80 Color Computer 3 in Verilog, by Gary Becker et al.☆28Dec 10, 2015Updated 10 years ago
- A super hacky tool to decode unknown binary formats☆30Aug 29, 2023Updated 2 years ago
- ET (IPL) language interpreters and literature☆26Feb 15, 2019Updated 7 years ago
- HID Report Descriptor macros definitions for C language.☆29May 26, 2019Updated 6 years ago
- Device trees used by QEMU to describe the hardware☆57Dec 16, 2025Updated 3 months ago
- Library for Classical Coq☆41Jan 20, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Build improvements and bugfixes on slsnif☆30Oct 14, 2022Updated 3 years ago
- Rviz plug-in displaying geometry_msgs/PoseWithCovarianceStamped messages.☆41Jan 4, 2017Updated 9 years ago
- Rolling Shutter Effect Video generated with Python☆27Jul 13, 2020Updated 5 years ago
- Highly configurable Beaglebone PRU-based DDS☆37Dec 19, 2017Updated 8 years ago
- Decompilation for Rhythm Heaven (Nintendo DS)☆41Feb 8, 2026Updated last month
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆52Jan 19, 2016Updated 10 years ago
- RISC-V out-of-order core for education and research purposes☆84Updated this week