❄️ All Configurations for My Laptop
☆23Sep 26, 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:
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated 2 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆13Feb 22, 2025Updated last year
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆12Apr 3, 2026Updated 5 months ago
- Theorem Proving in Emacs☆12Aug 18, 2025Updated last year
- ☆11Oct 20, 2017Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆18Apr 25, 2016Updated 10 years ago
- ☆16Jun 26, 2019Updated 7 years ago
- ☆22Jul 2, 2026Updated 2 months ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆28Sep 4, 2026Updated 3 weeks ago
- Page du cours preuves assistées par ordinateur 2021☆17May 16, 2025Updated last year
- A online playground to explore with type Inference algorithms.☆18Jan 28, 2026Updated 7 months ago
- ☆17Feb 19, 2026Updated 7 months ago
- ☆25Sep 7, 2026Updated 2 weeks ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆156Jun 22, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆22Sep 20, 2025Updated last year
- Docker for GMiner (https://github.com/develsoftware/GMinerRelease).☆15Jan 22, 2022Updated 4 years ago
- Coq utility and tactic library.☆27Dec 9, 2023Updated 2 years ago
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆37May 18, 2026Updated 4 months ago
- A collection of programming languages and type systems.☆36May 11, 2025Updated last year
- Building A Correct-By-Construction Proof Checkers For Type Theories☆33Aug 5, 2026Updated last month
- `async-ctrlc` is an async wrapper of the `ctrlc` crate in Rust☆16May 30, 2020Updated 6 years ago
- A substring method for string types.☆11Apr 28, 2024Updated 2 years ago
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆29Jun 11, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- ALSA Use Case Manager configuration☆13Updated this week
- Alsa UCM configuration for chrome devices☆10Nov 25, 2024Updated last year
- Set the keyboard backlight brightness with a slider in gnome shell's system menu.☆14Apr 20, 2024Updated 2 years ago
- Touch screen accessibility! Currently supports ripple feedback where the screen is touched.☆12Jan 19, 2025Updated last year
- A Rust interface to the x2apic interrupt architecture.☆17Feb 14, 2025Updated last year
- Chrome EC Fingerprint driver for Windows 10 / 11☆15May 4, 2024Updated 2 years ago
- A set of VS Code themes that match the themes of rustdoc☆10Jul 23, 2021Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Rust with Xtensa support Nix using flakes.☆18Sep 9, 2024Updated 2 years ago
- Pipe a stream into a string, collect value with callback or promise☆18Feb 8, 2023Updated 3 years ago
- 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]☆57Updated this week
- Demonstrating interfacing with the peripherals on this board, including the LED, IMU, and BLE.☆17Jun 12, 2025Updated last year
- Provides print! and println! implementations various Espressif devices☆19May 23, 2024Updated 2 years ago