A Nix flake for developing and working with Nordic Semiconductor hardware
☆13Sep 1, 2023Updated 2 years ago
Alternatives and similar repositories for nrf-nix
Users that are interested in nrf-nix are comparing it to the libraries listed below
Sorting:
- Configuration for acelpb.com☆11Aug 25, 2019Updated 6 years ago
- Examples of how to Generate Schematics from SystemVerilog Synthesis Tools☆22Dec 22, 2023Updated 2 years ago
- ☆16Dec 3, 2024Updated last year
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆29Feb 16, 2022Updated 4 years ago
- Microprocessor 2 Lab Template☆11Apr 29, 2024Updated last year
- ☆26Jan 3, 2025Updated last year
- Resize icon for STM32Cube IDE ( toolbar )☆12Sep 23, 2021Updated 4 years ago
- a tui ssh app framework for rust☆16Updated this week
- ARCHIVED - Materials for running a Team-Based Inquiry Learning linear algebra course☆10Jul 30, 2024Updated last year
- Neural Networks and Deep Learning☆33Dec 9, 2023Updated 2 years ago
- ☆12Aug 29, 2022Updated 3 years ago
- TOON as DSPy adapter☆25Feb 1, 2026Updated last month
- Mirror of KeyBase data☆10Jan 4, 2018Updated 8 years ago
- Mirror of official OpenEMR Sourceforge repository☆18Feb 27, 2026Updated last week
- ☆23Aug 9, 2023Updated 2 years ago
- Complete software package for the Iris Lunar Rover (CMU).☆16Feb 23, 2026Updated last week
- This repository contains Reinforcement Learning (RL) environments for the Upkie robot.☆23Feb 23, 2026Updated last week
- ☆10Jan 12, 2026Updated last month
- Tool to convert dotnet core dependencies to nix expressions, this project itself is the test case for now☆11Oct 11, 2022Updated 3 years ago
- Makes it simple to create and destroy temporary containers in Mozilla Firefox.☆11Oct 30, 2025Updated 4 months ago
- Infinitime Firmware for Pinetime smartwatch, modified to act as OpenSeizureDetector BLE Data Source☆10Oct 31, 2025Updated 4 months ago
- A Kong secrets backend for Vault☆11Sep 18, 2019Updated 6 years ago
- Tool to generate Android build system files (Android.mk, Android.bp) from APK automatically.☆10Nov 1, 2021Updated 4 years ago
- administrative software for local food networks, in django☆16Oct 7, 2020Updated 5 years ago
- ☆11May 10, 2016Updated 9 years ago
- My personal competitive programming repository.☆10Apr 12, 2020Updated 5 years ago
- Code for the Bavarian R2 Builders' Droid Control System, consisting of dual miniature multi-axis remote controls and a droid control boar…☆16Feb 23, 2026Updated last week
- A simple LED sequencer based Graduation Cap☆13Jul 16, 2022Updated 3 years ago
- open source high throughput homogeneous liquid handler ( automated pipette )☆17Sep 20, 2011Updated 14 years ago
- ☆11Nov 28, 2025Updated 3 months ago
- ☆45Jul 22, 2025Updated 7 months ago
- Project template for wafer.space MPW runs using the gf180mcu PDK☆22Jan 23, 2026Updated last month
- Manage BMW iDrive backups locally. Create backups that iDrive will restore. Tidy up your music collection.☆15Sep 26, 2025Updated 5 months ago
- Homebrew formula for the Input Leap project (unofficial)☆10Jan 23, 2025Updated last year
- Tiny Tapeout 06☆15Nov 15, 2025Updated 3 months ago
- Test app, to clarify deploy with Docker Compose, Distillery, Phoenix & dynamic ENV variables☆11Sep 1, 2017Updated 8 years ago
- ☆13Dec 7, 2019Updated 6 years ago
- 🦀 I'm learning Rust and publishing exercises and small projects I've completed!☆12Oct 15, 2024Updated last year
- TFM VIU - Master Inteligencia Artificial - Control de un dron usando AirSim Drone Racing Lab☆16Jan 24, 2026Updated last month