lenianiva / lean4-nix
Nix overlay for Lean 4, and lake2nix
☆36Updated last week
Alternatives and similar repositories for lean4-nix:
Users that are interested in lean4-nix are comparing it to the libraries listed below
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆38Updated this week
- Fine-grained Haskell builds with Nix's dynamic derivations☆32Updated 2 weeks ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- A `flake-parts` Nix module for Haskell development☆173Updated this week
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆51Updated this week
- 📺 The power of Haskell in your terminal!☆42Updated 3 months ago
- Nix + Lean = Nale☆12Updated last year
- Turn opam-based OCaml projects into Nix derivations☆123Updated 3 weeks ago
- 🌐 | HTTP primitives for Lean 4☆34Updated 5 months ago
- Check cross-references in repository documents☆56Updated this week
- Formalising the WASM spec in Lean☆22Updated 9 months ago
- seamless management of source dependencies with nix☆38Updated 2 months ago
- Hakyll + Nix starter template☆57Updated 5 months ago
- Flake template for Haskell repository☆34Updated 6 months ago
- Write C shims from within Lean code.☆54Updated 4 months ago
- A Testing Framework for Lean☆52Updated 2 weeks ago
- agda-mode for neovim☆148Updated this week
- Mathlib search tool☆84Updated last month
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆58Updated 4 months ago
- Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release☆22Updated 6 months ago
- sockets for Lean 4☆18Updated 8 months ago
- Language Server for Agda☆107Updated 3 months ago
- Parser Combinator Library for Lean 4☆47Updated 3 weeks ago
- A WIP definitional (co)datatype package for Lean4☆35Updated 3 months ago
- ☆63Updated 2 weeks ago
- A simple Nix-Haskell skeleton☆105Updated 4 months ago
- Manage your PureScript projects with Nix!☆75Updated 3 weeks ago
- Eventually a practical 2-level TT-based compiler☆27Updated this week
- Linear lens☆20Updated last year
- A shell prompt with infinite customization☆39Updated 9 months ago