An operating system developed at University of Wrocław targeting the RISC-V architecture
☆14Mar 2, 2026Updated this week
Alternatives and similar repositories for BigOS
Users that are interested in BigOS are comparing it to the libraries listed below
Sorting:
- Synchronous Message Exchange☆11Feb 3, 2026Updated last month
- Command-Line Argument Parser for C++20☆23Jan 1, 2026Updated 2 months ago
- Lecture notes for the Type Systems course given in Autumn 2023☆15Mar 26, 2024Updated last year
- A multiplexer for TikZ Circuits☆14Jul 29, 2015Updated 10 years ago
- IEC 62056 smart meter readout in perl☆11Mar 16, 2018Updated 7 years ago
- Super Mario Galaxy 2 multiplayer☆15Feb 25, 2023Updated 3 years ago
- How to use the Intel JTAG primitive without using virtual JTAG☆17Oct 31, 2021Updated 4 years ago
- Automatic Disassembly Desynchronization Obfuscator☆15Apr 14, 2022Updated 3 years ago
- Ghidra plugin for querying the Symgrate databases.☆15Apr 30, 2025Updated 10 months 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
- 📕 A book about Algorithms and Data Structures (PL)☆17Aug 8, 2024Updated last year
- Segher's Wii tools☆16Jan 1, 2022Updated 4 years ago
- Wine on steroids☆14Jan 1, 2023Updated 3 years ago
- ☆17Nov 10, 2015Updated 10 years ago
- 64kB intro for Revision 2023☆19May 2, 2025Updated 10 months ago
- ☆19May 3, 2024Updated last year
- Generate interface between Clash and Verilator☆23Dec 22, 2025Updated 2 months ago
- Solutions and other stuff from the university courses I attended.☆14May 19, 2021Updated 4 years ago
- Use conduit to process/manipulate/convert audio☆18Feb 26, 2026Updated last week
- Coding practice tool with automatic grading and LTI integration☆16Feb 9, 2026Updated 3 weeks ago
- Official Clerk-Prisma starter project☆24Mar 21, 2022Updated 3 years ago
- Template for creating C++ projects that use CMake.☆19Mar 20, 2022Updated 3 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.☆27Dec 10, 2015Updated 10 years ago
- A super hacky tool to decode unknown binary formats☆30Aug 29, 2023Updated 2 years ago
- Multithread allocator for vulkan descriptor sets.☆28Mar 15, 2020Updated 5 years ago
- HID Report Descriptor macros definitions for C language.☆29May 26, 2019Updated 6 years ago
- Decompilation for Rhythm Heaven (Nintendo DS)☆40Feb 8, 2026Updated 3 weeks ago
- ET (IPL) language interpreters and literature☆26Feb 15, 2019Updated 7 years ago
- Daemon to receive data from a Ginlong solar charge controller and input into MQTT☆32Oct 27, 2017Updated 8 years ago
- An experimental programming language that combines effect handlers and implicit parameters☆40Feb 24, 2026Updated last week
- Rolling Shutter Effect Video generated with Python☆27Jul 13, 2020Updated 5 years ago
- 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
- Highly configurable Beaglebone PRU-based DDS☆37Dec 19, 2017Updated 8 years ago
- Library for Classical Coq☆41Jan 20, 2026Updated last month
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆52Jan 19, 2016Updated 10 years ago
- A simulator written in python with some basic diagramming functions for BLDC motor control analysis☆47Mar 20, 2015Updated 10 years ago