lenianiva / lean4-nixLinks
Nix overlay for Lean 4, and lake2nix
☆47Updated this week
Alternatives and similar repositories for lean4-nix
Users that are interested in lean4-nix are comparing it to the libraries listed below
Sorting:
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆41Updated this week
- Flake template for Haskell repository☆37Updated 8 months ago
- 🌐 | HTTP primitives for Lean 4☆39Updated 8 months ago
- Turn opam-based OCaml projects into Nix derivations☆130Updated 2 weeks ago
- Nix + Lean = Nale☆12Updated last year
- Fine-grained Haskell builds with Nix's dynamic derivations☆39Updated last month
- 📺 The power of Haskell in your terminal!☆43Updated last month
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release☆23Updated 8 months ago
- Parser Combinator Library for Lean 4☆50Updated 2 weeks ago
- Formalising the WASM spec in Lean☆23Updated last year
- Hakyll + Nix starter template☆58Updated 7 months ago
- Lean 4 port of Megaparsec☆29Updated last year
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆53Updated 2 months ago
- Check cross-references in repository documents☆56Updated 2 months ago
- A shell prompt with infinite customization☆39Updated last year
- Language Server for Agda☆112Updated 6 months ago
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆59Updated 7 months ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated last week
- ☆23Updated 11 months ago
- A WIP definitional (co)datatype package for Lean4☆38Updated 6 months ago
- A Testing Framework for Lean☆56Updated 2 months ago
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆104Updated last week
- Write C shims from within Lean code.☆57Updated last month
- Ground Zero: Lean 4 HoTT Library☆62Updated 3 weeks ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆50Updated last month
- todo and unimplemented, robustly implemented☆36Updated 9 months ago
- ☆32Updated 3 years ago
- sockets for Lean 4☆18Updated 11 months ago
- Automatically generate Haskell bindings from C header files☆49Updated this week