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 3 weeks ago
- Flake template for Haskell repository☆37Updated 11 months ago
- The PureScript implementation for the *Types and Programming Language* by B. Pierce☆19Updated last year
- ☆17Updated last year
- Formalising the WASM spec in Lean☆23Updated last year
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆46Updated last week
- Language Server for Agda☆115Updated last week
- An unofficial Idris2 package repository for Nix☆47Updated 2 years ago
- Lean 4 port of Megaparsec☆29Updated last year
- Normalise GHC.TypeLits.Nat equations☆43Updated last week
- A modern Haskell debugger☆31Updated 4 months ago
- HoTT in Japanese☆34Updated last year
- Existential type.☆37Updated 9 months ago
- sockets for Lean 4☆20Updated 2 months ago
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- Eventually a practical 2-level TT-based compiler☆27Updated this week
- Agda grammar for tree-sitter☆39Updated 3 weeks ago
- Session Types with Priority in Linear Haskell☆27Updated last year
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Haskell implementation of nominal datatypes and functions☆44Updated 5 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Updated 10 months ago
- Idris port of Haskell's sop-core library☆36Updated last month
- Nix overlay for Lean 4, and lake2nix☆57Updated last week
- Interpret Haskell programs into any cartesian closed category.☆63Updated last month
- ☆19Updated last month
- Parser Combinator Library for Lean 4☆56Updated last week
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆21Updated last year
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆96Updated last week
- A Haskell 2010 type checker☆17Updated last year
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago