☆10Jun 30, 2021Updated 4 years ago
Alternatives and similar repositories for NixKernelTutorial
Users that are interested in NixKernelTutorial are comparing it to the libraries listed below
Sorting:
- Miscellaneous components for bluespec☆11Nov 18, 2024Updated last year
- Open SoC Debug Hardware Reference Implementation☆16Jul 15, 2019Updated 6 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- ☆17Jun 24, 2021Updated 4 years ago
- Yosys plugin for synthesis of Bluespec code☆15Sep 8, 2021Updated 4 years ago
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆29Apr 17, 2016Updated 9 years ago
- ☆25Updated this week
- Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.☆14Sep 2, 2022Updated 3 years ago
- Documentation on the Fantom Lachesis Consensus Algorithm☆10Oct 25, 2018Updated 7 years ago
- Rest your pinkies.☆11Oct 27, 2016Updated 9 years ago
- Tools to analyze files of the video-game "Futurama" (2003)☆13Jul 24, 2019Updated 6 years ago
- Yao's Garbled Circuits (Java/AES)☆10Dec 9, 2013Updated 12 years ago
- ☆14Sep 25, 2013Updated 12 years ago
- Literally does the opposite of Ciphey. Encrypts text.☆11Feb 25, 2021Updated 5 years ago
- A purely functional cheminformatics toolkit written in Scala☆16Jun 7, 2013Updated 12 years ago
- ☆10Mar 18, 2020Updated 5 years ago
- Templates for Nix flakes☆11Jan 20, 2024Updated 2 years ago
- ☆13Oct 9, 2021Updated 4 years ago
- XBMC Video Addons☆18Dec 19, 2015Updated 10 years ago
- Lightweight framework for HTML5 2D Game Development written with ECMAScript 2016☆12Jul 16, 2016Updated 9 years ago
- Welcome to Birds-of-a-Feather: Open-Source-Academic-EDA-Software !☆14Jun 6, 2019Updated 6 years ago
- Simply and Easily cross-compile the Rust sysroot crates.☆14Jan 24, 2022Updated 4 years ago
- Allows to set different screen resolutions in VMware☆12Jul 18, 2015Updated 10 years ago
- A 4x4x4 Tic-Tac-Toe game suitable for porting to embedded hardware platforms☆11Sep 6, 2017Updated 8 years ago
- A programming language where the action occurs between the lines of code☆11Jun 15, 2020Updated 5 years ago
- Snake on the Dreamcast memory card peripheral device☆14Jan 13, 2023Updated 3 years ago
- Rust types for the debug server protocol☆11Jul 7, 2019Updated 6 years ago
- Marbles with pride flag colors. Accepting suggestions and PRs.☆13Jun 22, 2018Updated 7 years ago
- Unofficial terralang compiler☆13Apr 21, 2023Updated 2 years ago
- Project Trellis database☆14Sep 15, 2025Updated 5 months ago
- No longer used, since upstream tooling is now built statically. PLEASE DO NOT USE FOR ANYTHING ELSE!☆16Jul 13, 2023Updated 2 years ago
- Xcode-compatible build tool. Forked for PureDarwin☆13Jul 19, 2024Updated last year
- Project framework for data scalable 7-bit CPU with stack architecture☆11Jan 22, 2023Updated 3 years ago
- A Javascript library for converting between Chainpoint JSON-LD and binary proof formats☆11Apr 20, 2022Updated 3 years ago
- Rust driver for the Sensirion SCD4x sensors.☆12Feb 16, 2026Updated last week
- An arduino project to allow the connection of Wii accessories as USB HID game controller devices using UnoJoy and Wire (I2C). Nunchucks a…☆12Sep 24, 2014Updated 11 years ago
- Passerine's package manager.☆22Jul 29, 2022Updated 3 years ago
- Packet library for Minecraft Beta 1.6.6 -> Release 1.4.1☆13Feb 10, 2025Updated last year
- OpenAMP fork of the kvmtool Project. For experimental work and upstream staging.☆10Apr 4, 2024Updated last year