❄️ All Configurations for My Laptop
☆23Oct 15, 2026Updated this week
Alternatives and similar repositories for nixbook
Users that are interested in nixbook are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 9 months ago
- Hexyzland is a minimalistic coding playground https://ptol.github.io/hexyzland/☆13Jul 4, 2022Updated 4 years ago
- Theorem Proving in Emacs☆12Aug 18, 2025Updated last year
- ☆11Oct 20, 2017Updated 8 years ago
- ☆16Sep 25, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated 2 weeks ago
- PL Wonks website☆13Aug 7, 2026Updated 2 months ago
- ☆16Jun 26, 2019Updated 7 years ago
- ☆17Feb 19, 2026Updated 7 months ago
- A simple crate to use a 28BYJ-48 stepper motor with and ULN2003 Driver on any hardware implementing embedded-hal☆14Jan 6, 2025Updated last year
- B-tree range map implementation for Rust☆13Sep 26, 2026Updated 3 weeks ago
- Building A Correct-By-Construction Proof Checkers For Type Theories☆36Aug 5, 2026Updated 2 months ago
- A babel plugin to add extensions to import and export declarations.☆11Jul 10, 2021Updated 5 years ago
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆29Jun 11, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Count the number of occurrences of a repeating event per unit of time☆21Apr 16, 2018Updated 8 years ago
- Moe Counter on Cloudflare Workers.☆14Nov 16, 2023Updated 2 years ago
- ALSA Use Case Manager configuration☆13Sep 24, 2026Updated 3 weeks ago
- Generates a set of favicons from an SVG file☆15Aug 5, 2026Updated 2 months ago
- The monorepo containing my dotfiles and machine configurations☆28Updated this week
- A customizable theme for fish shell.☆12Oct 8, 2026Updated last week
- linux bluetoothctl wrapper (also works with arm devices like raspberry pi). Modified version of http://bitbucket.com/serkanp/bluetoothctl☆10Nov 22, 2019Updated 6 years ago
- Library to manage a PS2 mouse☆14Jul 31, 2026Updated 2 months ago
- Touch screen accessibility! Currently supports ripple feedback where the screen is touched.☆12Jan 19, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Chrome EC Fingerprint driver for Windows 10 / 11☆15May 4, 2024Updated 2 years ago
- Parse your json safely and stop writing try {} catch {}☆15May 10, 2021Updated 5 years ago
- vl53l0x☆19Aug 7, 2025Updated last year
- Raspberry Pi Pico UART-USB bridge☆15Apr 15, 2024Updated 2 years ago
- nonebot2框架插件，碧蓝航线攻略☆12Apr 8, 2024Updated 2 years ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆57Oct 5, 2026Updated last week
- Provides print! and println! implementations various Espressif devices☆19May 23, 2024Updated 2 years ago
- MCP23017 a 16-Bit I2C I/O Expander with Serial Interface module☆17Apr 10, 2026Updated 6 months ago
- Manage MULTIPLE static applications in your github-pages☆17Mar 16, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A updated version of the extension Start Overlay in Application View created by tmk (https://extensions.gnome.org/accounts/profile/tmk). …☆17May 4, 2026Updated 5 months ago
- Examples with wiring diagrams for using some sensors with ESP32-C3, programmed with Rust☆15May 25, 2026Updated 4 months ago
- ☆19Nov 2, 2023Updated 2 years ago
- Mock window.matchMedia for Node.JS environments (like tests or NextJS)☆22Updated this week
- Async Awaitables☆16Jan 19, 2025Updated last year
- Full OS in Rust with minimal dependencies☆20Jul 18, 2026Updated 2 months ago
- 我，秦始皇，打钱！可以开发票。☆57Oct 18, 2024Updated last year