lenianiva / lean4-nixLinks
Nix overlay for Lean 4, and lake2nix
☆44Updated 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]☆40Updated this week
- Fine-grained Haskell builds with Nix's dynamic derivations☆38Updated 2 weeks ago
- Flake template for Haskell repository☆38Updated 8 months ago
- Turn opam-based OCaml projects into Nix derivations☆127Updated 2 weeks ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Language Server for Agda☆112Updated 5 months ago
- Formalising the WASM spec in Lean☆23Updated 11 months ago
- Check cross-references in repository documents☆56Updated 2 months ago
- 📺 The power of Haskell in your terminal!☆42Updated 2 weeks ago
- Nix + Lean = Nale☆12Updated last year
- 🌐 | HTTP primitives for Lean 4☆39Updated 7 months ago
- A `flake-parts` Nix module for Haskell development☆192Updated this week
- Hakyll + Nix starter template☆59Updated 7 months ago
- A Testing Framework for Lean☆53Updated last month
- Automatically generate Haskell bindings from C header files☆48Updated this week
- agda-mode for neovim☆158Updated 3 weeks ago
- Write C shims from within Lean code.☆56Updated 2 weeks ago
- Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release☆24Updated 8 months ago
- sockets for Lean 4☆18Updated 10 months ago
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆53Updated 2 months ago
- A Wayland compositor written in Haskell, providing a configurable and programmable window management system. This project implements the …☆52Updated 2 months ago
- CS410 "Advanced Functional Programming"☆24Updated 3 weeks ago
- Agda as a collaborative multiplayer game☆36Updated 7 months ago
- Parser Combinator Library for Lean 4☆50Updated this week
- ☆63Updated 2 months ago
- A WIP definitional (co)datatype package for Lean4☆36Updated 5 months ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆50Updated 2 weeks ago
- Manage your PureScript projects with Nix!☆76Updated 3 weeks ago
- Haskell bindings to wlroots (and libwayland)☆66Updated last year
- Compiling Agda code to readable Haskell☆189Updated this week