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 7 months ago
- Nix overlay for Lean 4, and lake2nix☆53Updated this week
- The PureScript implementation for the *Types and Programming Language* by B. Pierce☆19Updated last year
- Flake template for Haskell repository☆37Updated 10 months ago
- Lean 4 port of Megaparsec☆29Updated last year
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆44Updated this week
- Language Server for Agda☆113Updated 2 weeks ago
- Parser Combinator Library for Lean 4☆55Updated 2 weeks ago
- 🌐 | HTTP primitives for Lean 4☆43Updated 9 months ago
- HoTT in Japanese☆34Updated last year
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆53Updated 4 months ago
- An unofficial Idris2 package repository for Nix☆47Updated 2 years ago
- Formalising the WASM spec in Lean☆23Updated last year
- ☆17Updated last year
- Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.☆12Updated last year
- sockets for Lean 4☆20Updated last month
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- Fine-grained Haskell builds with Nix's dynamic derivations☆39Updated 2 months ago
- Fast equality saturation in Haskell☆86Updated 3 weeks ago
- A modern Haskell debugger☆31Updated 3 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆96Updated 2 months ago
- Existential type.☆37Updated 7 months ago
- Normalise GHC.TypeLits.Nat equations☆43Updated 3 weeks ago
- GHC plugin to desugar ! into do-notation☆37Updated 5 months ago
- A simple demo of Nixifying a multi-package Haskell project☆20Updated 4 months ago
- ☆19Updated 3 months ago
- Idris port of Haskell's sop-core library☆36Updated 2 months ago
- Bindings to libsodium for Haskell☆37Updated 2 months ago
- Interpret Haskell programs into any cartesian closed category.☆63Updated this week
- Automatically generate Haskell bindings from C header files☆54Updated this week