An operating system developed at University of Wrocław targeting the RISC-V architecture
☆16Apr 13, 2026Updated 3 weeks ago
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☆25Apr 15, 2026Updated 3 weeks 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 3 months ago
- Template for creating C++ projects that use CMake.☆20Mar 20, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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☆44Apr 3, 2026Updated last month
- Ghidra plugin for querying the Symgrate databases.☆15Apr 30, 2025Updated last year
- Wine on steroids☆14Jan 1, 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.
- ☆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 2 months ago
- Automatic Disassembly Desynchronization Obfuscator☆15Apr 14, 2022Updated 4 years ago
- Super Mario Galaxy 2 multiplayer☆15Feb 25, 2023Updated 3 years ago
- Generate interface between Clash and Verilator☆23Dec 22, 2025Updated 4 months ago
- ☆19May 3, 2024Updated 2 years ago
- Multithread allocator for vulkan descriptor sets.☆28Mar 15, 2020Updated 6 years ago
- Coding practice tool with automatic grading and LTI integration☆17Apr 8, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 64kB intro for Revision 2023☆19May 2, 2025Updated last year
- 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 12 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☆59Dec 16, 2025Updated 4 months ago
- Library for Classical Coq☆41Jan 20, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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)☆42Feb 8, 2026Updated 2 months ago
- 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☆87Updated this week