Stars
Temporary repository for Kind2's refactor based on HVM2
HASEL-Android project! Our mission is to push the boundaries of android technology by harnessing the power of Hydraulically Amplified Self-healing Electrostatic (HASEL) actuators
Specification for interoperability of common algebraic structures in JavaScript
For when people get too hyped up about things
An experimental type checker for a modal dependent type theory.
Experiments with SAT solvers with proofs in Lean 4
An interactive theorem prover for string diagrams
Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.
Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]
Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.
A Cheat Sheet for Coq Developers who want to try LeanProver
devos50 / qemu-ios
Forked from qemu/qemuA QEMU emulator for legacy Apple devices
Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]
A mixture of tooling combined to produce JavaScript from OCaml & Reason
Don't Fear the Profunctor Optics!
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Attempting to create Optics and other Computational structures from scratch
Wrapper of `nix shell` that reads a lockfiles to get the nixpkgs revision to use when sourcing packages to install in transient shell