Operacja-System / BigOSView external linksLinks
An operating system developed at University of Wrocław targeting the RISC-V architecture
☆13Jan 27, 2026Updated 2 weeks ago
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 week
- Command-Line Argument Parser for C++20☆23Jan 1, 2026Updated last month
- Lecture notes for the Type Systems course given in Autumn 2023☆15Mar 26, 2024Updated last year
- IEC 62056 smart meter readout in perl☆11Mar 16, 2018Updated 7 years ago
- A multiplexer for TikZ Circuits☆14Jul 29, 2015Updated 10 years ago
- Super Mario Galaxy 2 multiplayer☆15Feb 25, 2023Updated 2 years ago
- Ghidra plugin for querying the Symgrate databases.☆15Apr 30, 2025Updated 9 months ago
- A programming tool for the iCE40 FPGA evaluation boards.☆13Jun 5, 2024Updated last year
- C in four functions☆14Feb 14, 2020Updated 5 years ago
- Segher's Wii tools☆15Jan 1, 2022Updated 4 years ago
- Automatic Disassembly Desynchronization Obfuscator☆15Apr 14, 2022Updated 3 years ago
- How to use the Intel JTAG primitive without using virtual JTAG☆17Oct 31, 2021Updated 4 years ago
- 📕 A book about Algorithms and Data Structures (PL)☆17Aug 8, 2024Updated last year
- ☆17Nov 10, 2015Updated 10 years ago
- Wine on steroids☆14Jan 1, 2023Updated 3 years ago
- 64kB intro for Revision 2023☆19May 2, 2025Updated 9 months ago
- ☆19May 3, 2024Updated last year
- Generate interface between Clash and Verilator☆23Dec 22, 2025Updated last month
- Solutions and other stuff from the university courses I attended.☆13May 19, 2021Updated 4 years ago
- Use conduit to process/manipulate/convert audio☆18Jan 16, 2020Updated 6 years ago
- Coding practice tool with automatic grading and LTI integration☆16Updated this week
- Template for creating C++ projects that use CMake.☆19Mar 20, 2022Updated 3 years ago
- FPGA implementation of the TRS-80 Color Computer 3 in Verilog, by Gary Becker et al.☆27Dec 10, 2015Updated 10 years ago
- Altera JTAG UART wrapper for Bluespec☆25Mar 27, 2014Updated 11 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
- ET (IPL) language interpreters and literature☆26Feb 15, 2019Updated 6 years ago
- Decompilation for Rhythm Heaven (Nintendo DS)☆39Feb 6, 2026Updated last week
- Daemon to receive data from a Ginlong solar charge controller and input into MQTT☆31Oct 27, 2017Updated 8 years ago
- An experimental programming language that combines effect handlers and implicit parameters☆40Feb 7, 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.☆42Jan 4, 2017Updated 9 years ago
- Highly configurable Beaglebone PRU-based DDS☆37Dec 19, 2017Updated 8 years ago
- Library for Classical Coq☆40Jan 20, 2026Updated 3 weeks ago
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆51Jan 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
- Semantics for ES5☆82Oct 28, 2015Updated 10 years ago