❄️ All Configurations for My Laptop
☆21Mar 20, 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:
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 2 months ago
- Hexyzland is a minimalistic coding playground https://ptol.github.io/hexyzland/☆12Jul 4, 2022Updated 3 years ago
- ☆15Jun 26, 2019Updated 6 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆39Dec 1, 2025Updated 3 months ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆18Apr 25, 2016Updated 9 years ago
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆21Sep 20, 2025Updated 6 months ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆154Jun 22, 2025Updated 9 months ago
- Theorem Proving in Emacs☆12Aug 18, 2025Updated 7 months ago
- ☆19Nov 24, 2025Updated 4 months ago
- PL Wonks website☆13Jan 28, 2026Updated last month
- The Emacs theme in your subconsciousness!☆16Feb 17, 2026Updated last month
- Docker for GMiner (https://github.com/develsoftware/GMinerRelease).☆14Jan 22, 2022Updated 4 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.
- A simple crate to use a 28BYJ-48 stepper motor with and ULN2003 Driver on any hardware implementing embedded-hal☆13Jan 6, 2025Updated last year
- A reflection-based proof tactic for lattices in Coq☆21Mar 17, 2026Updated last week
- A collection of programming languages and type systems.☆33May 11, 2025Updated 10 months ago
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆29Jun 11, 2021Updated 4 years ago
- Moe Counter on Cloudflare Workers.☆14Nov 16, 2023Updated 2 years ago
- A Windows GUI client for sing-box.☆47May 21, 2024Updated last year
- Generates a set of favicons from an SVG file☆16May 22, 2024Updated last year
- A babel plugin to add extensions to import and export declarations.☆11Jul 10, 2021Updated 4 years ago
- Library for Classical Coq☆41Jan 20, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Java binding for rs-fsrs☆15Feb 3, 2026Updated last month
- Experiment to simulate a BLE HID keyboard on ESP32-C3 bare-metal☆20Mar 28, 2024Updated last year
- An experimental modular OS written in Rust.☆12Nov 26, 2025Updated 4 months ago
- A set of VS Code themes that match the themes of rustdoc☆10Jul 23, 2021Updated 4 years ago
- Parse your json safely and stop writing try {} catch {}☆15May 10, 2021Updated 4 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
- The Next Generation of Compositional Programming☆56Jan 27, 2026Updated last month
- Watch user's intention of using AI and let AI automatically generate content.☆26Feb 27, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- nonebot2框架插件，碧蓝航线攻略☆13Apr 8, 2024Updated last year
- 我，秦始皇，打钱！可以开发票。☆56Oct 18, 2024Updated last year
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆50Mar 18, 2026Updated last week
- Base start TypeScript Framework☆10Jan 12, 2023Updated 3 years ago
- Nix flake for OpenAI Codex CLI - native Rust binary, hourly updates, multi-platform caching☆65Updated this week
- The Missing Rustlang pusher crate.☆11Jan 29, 2026Updated last month
- Provides print! and println! implementations various Espressif devices☆19May 23, 2024Updated last year