❄️ All Configurations for My Laptop
☆21Apr 10, 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
- Hexyzland is a minimalistic coding playground https://ptol.github.io/hexyzland/☆12Jul 4, 2022Updated 3 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Apr 3, 2026Updated last week
- ☆16Jun 26, 2019Updated 6 years ago
- ☆15Sep 25, 2023Updated 2 years 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.
- ☆11Oct 20, 2017Updated 8 years 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
- PL Wonks website☆13Mar 23, 2026Updated 3 weeks ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆26Apr 3, 2026Updated last week
- 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
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Page du cours preuves assistées par ordinateur 2021☆17May 16, 2025Updated 10 months ago
- A verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/extractor. Codex…☆23Mar 9, 2026Updated last month
- A Toy Inverse Bidirectional Typechecker☆32May 13, 2019Updated 6 years ago
- Coq utility and tactic library.☆27Dec 9, 2023Updated 2 years ago
- A reflection-based proof tactic for lattices in Coq☆21Mar 17, 2026Updated 3 weeks ago
- A collection of programming languages and type systems.☆34May 11, 2025Updated 11 months ago
- B-tree range map implementation for Rust☆13Oct 5, 2023Updated 2 years ago
- Count the number of occurrences of a repeating event per unit of time☆21Apr 16, 2018Updated 7 years ago
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆29Jun 11, 2021Updated 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.
- Manipulate biomes with technology™. Server side mod for Fabric☆12Mar 11, 2023Updated 3 years ago
- Moe Counter on Cloudflare Workers.☆14Nov 16, 2023Updated 2 years ago
- A customizable theme for fish shell.☆12Mar 23, 2024Updated 2 years ago
- Java binding for rs-fsrs☆15Feb 3, 2026Updated 2 months ago
- The Next Generation of Compositional Programming☆56Jan 27, 2026Updated 2 months ago
- Watch user's intention of using AI and let AI automatically generate content.☆26Feb 27, 2026Updated last month
- nonebot2框架插件，碧蓝航线攻略☆13Apr 8, 2024Updated 2 years ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆50Apr 3, 2026Updated last week
- 我，秦始皇，打钱！可以开发票。☆56Oct 18, 2024Updated last year
- 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.
- A typeform clone☆22Oct 22, 2019Updated 6 years ago
- Detect and remove unused dependencies for Python projects☆18Apr 5, 2025Updated last year
- ASCII Tree Manipulator☆18Aug 18, 2025Updated 7 months ago
- My presonal NixOS config, etc.☆94Mar 26, 2026Updated 2 weeks ago
- A simple Emacs config on Windows☆21Mar 21, 2026Updated 3 weeks ago
- Aspect-oriented, context-driven Dendritic Nix configurations. [maintainer = @vic, @sini, @HeitorAugustoLN, @Gwenodai, @theutz]☆293Updated this week
- ☆22Oct 6, 2025Updated 6 months ago