❄️ All Configurations for My Laptop
☆22Jun 13, 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 5 months ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Apr 3, 2026Updated 2 months ago
- ☆11Oct 20, 2017Updated 8 years ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆18Apr 25, 2016Updated 10 years ago
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆22Sep 20, 2025Updated 8 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆154Jun 22, 2025Updated 11 months ago
- Theorem Proving in Emacs☆12Aug 18, 2025Updated 9 months ago
- ☆19May 26, 2026Updated 2 weeks ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆27May 6, 2026Updated last month
- The Emacs theme in your subconsciousness!☆16Feb 17, 2026Updated 3 months ago
- Docker for GMiner (https://github.com/develsoftware/GMinerRelease).☆14Jan 22, 2022Updated 4 years ago
- ☆15Dec 24, 2018Updated 7 years ago
- A verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/extractor. Codex…☆23Mar 9, 2026Updated 3 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Coq utility and tactic library.☆27Dec 9, 2023Updated 2 years ago
- A reflection-based proof tactic for lattices in Coq☆21Mar 17, 2026Updated 2 months ago
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆37May 18, 2026Updated 3 weeks ago
- B-tree range map implementation for Rust☆13Oct 5, 2023Updated 2 years ago
- vl53l0x☆17Aug 7, 2025Updated 10 months ago
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆29Jun 11, 2021Updated 5 years ago
- Manipulate biomes with technology™. Server side mod for Fabric☆12Mar 11, 2023Updated 3 years ago
- React Hook to create and revoke URL for any instance of `File`, `Blob` or `MediaSource`.☆11Dec 10, 2022Updated 3 years ago
- Moe Counter on Cloudflare Workers.☆14Nov 16, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Prime Implementation for fuzzy searching☆24Mar 19, 2018Updated 8 years ago
- Library for Classical Coq☆41Jan 20, 2026Updated 4 months ago
- Chrome EC Fingerprint driver for Windows 10 / 11☆13May 4, 2024Updated 2 years ago
- Rust with Xtensa support Nix using flakes.☆17Sep 9, 2024Updated last year
- Pipe a stream into a string, collect value with callback or promise☆18Feb 8, 2023Updated 3 years ago
- Watch user's intention of using AI and let AI automatically generate content.☆27Feb 27, 2026Updated 3 months ago
- nonebot2框架插件，碧蓝航线攻略☆12Apr 8, 2024Updated 2 years ago
- The Missing Rustlang pusher crate.☆11Jan 29, 2026Updated 4 months ago
- Provides print! and println! implementations various Espressif devices☆19May 23, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Docker wrapper for UniVPN with NoVNC☆19May 16, 2025Updated last year
- Detect and remove unused dependencies for Python projects☆18Apr 5, 2025Updated last year
- Manage MULTIPLE static applications in your github-pages☆17Mar 16, 2022Updated 4 years ago
- My presonal NixOS config, etc.☆95May 17, 2026Updated 3 weeks ago
- Discontinued. A convenience package bundling levelup and leveldown-hyper.☆29Dec 20, 2024Updated last year
- A React component for joystick using Nipple.js☆16Jul 26, 2018Updated 7 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated last year