Kha / naleLinks
Nix + Lean = Nale
☆12Updated 2 years ago
Alternatives and similar repositories for nale
Users that are interested in nale are comparing it to the libraries listed below
Sorting:
- guardian - the border guardian for your Haskell monorepo package dependencies☆39Updated this week
- Flake template for Haskell repository☆37Updated 11 months ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆44Updated last week
- Language Server for Agda☆113Updated last week
- The PureScript implementation for the *Types and Programming Language* by B. Pierce☆19Updated last year
- Lean 4 port of Megaparsec☆29Updated last year
- HoTT in Japanese☆34Updated last year
- An unofficial Idris2 package repository for Nix☆47Updated 2 years ago
- Nix overlay for Lean 4, and lake2nix☆55Updated 2 weeks ago
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- ☆17Updated last year
- sockets for Lean 4☆20Updated last month
- Existential type.☆37Updated 8 months ago
- Normalise GHC.TypeLits.Nat equations☆43Updated last week
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆53Updated 5 months ago
- Command line interface library in Idris☆31Updated last year
- Interpret Haskell programs into any cartesian closed category.☆63Updated 3 weeks ago
- Idris port of Haskell's sop-core library☆36Updated 3 weeks ago
- 🌐 | HTTP primitives for Lean 4☆46Updated 10 months ago
- Parser Combinator Library for Lean 4☆56Updated 2 weeks ago
- A modern Haskell debugger☆31Updated 4 months ago
- Ghosts of Departed Proofs☆61Updated 4 years ago
- Formalising the WASM spec in Lean☆23Updated last year
- Asynchronous type-checking for Agda 2.6.2.☆22Updated last year
- Eventually a practical 2-level TT-based compiler☆27Updated last month
- Fine-grained Haskell builds with Nix's dynamic derivations☆38Updated 3 months ago
- Agda category theory library for denotational design☆52Updated 3 weeks ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- 📺 The power of Haskell in your terminal!☆44Updated 3 months ago