lenianiva / lean4-nix
Nix overlay for Lean 4, and lake2nix
☆16Updated last week
Related projects ⓘ
Alternatives and complementary repositories for lean4-nix
- 📺 The power of Haskell in your terminal!☆41Updated 2 weeks ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆33Updated last week
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- seamless management of source dependencies with nix☆38Updated 2 weeks ago
- ☆13Updated last year
- Nix + Lean = Nale☆12Updated last year
- todo and unimplemented, robustly implemented☆33Updated 2 months ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆42Updated this week
- Hakyll + Nix starter template☆55Updated 2 weeks ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆66Updated this week
- Check cross-references in repository documents☆55Updated this week
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆49Updated this week
- Experiments about running Haskell via WebAssembly on Fastly☆38Updated last year
- Interpret Haskell programs into any cartesian closed category.☆57Updated 3 weeks ago
- Exploring the options for incremental Haskell builds using Nix☆106Updated last year
- Inspecting tool for GHC compilation pipeline☆31Updated last year
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆45Updated last week
- Improving all Haskell's programmer interfaces☆65Updated 5 months ago
- Automatic testing of Haskell programs.☆13Updated 5 months ago
- The PureScript Package Manager in Nix☆55Updated last week
- Nix derivations for hasekll-language-server☆11Updated 3 years ago
- A modern Haskell debugger☆29Updated last year
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆88Updated 2 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 5 months ago
- Basics of the dependently-typed functional language Agda ^_^☆38Updated 2 years ago
- Turn opam-based OCaml projects into Nix derivations☆110Updated this week
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 2 years ago
- Simple Nix derivations to bundle executables☆39Updated last month
- ☆66Updated last week
- ☆38Updated 5 months ago