lenianiva / lean4-nix
Nix overlay for Lean 4, and lake2nix
☆16Updated this week
Related projects ⓘ
Alternatives and complementary repositories for lean4-nix
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆33Updated this week
- 📺 The power of Haskell in your terminal!☆42Updated 3 weeks ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Nix + Lean = Nale☆12Updated last year
- ☆14Updated last year
- Exploring the options for incremental Haskell builds using Nix☆106Updated last year
- ☆57Updated last year
- Formalising the WASM spec in Lean☆17Updated 4 months ago
- Check cross-references in repository documents☆55Updated this week
- Hakyll + Nix starter template☆55Updated 3 weeks ago
- Nix support for the Unison programming language☆57Updated last month
- todo and unimplemented, robustly implemented☆34Updated 2 months ago
- A `flake-parts` Nix module for Haskell development☆157Updated this week
- Manage your PureScript projects with Nix!☆71Updated 2 months ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆69Updated 2 weeks ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆66Updated this week
- Linear lens☆20Updated 9 months ago
- Simple Nix derivations to bundle executables☆39Updated last month
- 🌐 | HTTP primitives for Lean 4☆27Updated last month
- agda-mode for neovim☆134Updated 3 weeks ago
- seamless management of source dependencies with nix☆38Updated 3 weeks ago
- ☆21Updated 8 months ago
- ☆73Updated this week
- Mathlib search tool☆63Updated this week
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆24Updated 2 years ago
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆49Updated last week
- Inspecting tool for GHC compilation pipeline☆31Updated last year
- ☆30Updated 2 years ago
- Turn opam-based OCaml projects into Nix derivations☆111Updated this week
- Nix derivations for hasekll-language-server☆11Updated 3 years ago