isovector / cornelis
agda-mode for neovim
☆130Updated 4 months ago
Related projects: ⓘ
- Total Parser Combinators in Agda☆123Updated last year
- Compiling Agda code to readable Haskell☆174Updated last week
- 🚧 a work in progress effect system for Haskell 🚧☆120Updated last year
- ☆98Updated 3 weeks ago
- A proof assistant for higher-dimensional type theory☆137Updated 3 weeks ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆46Updated 5 months ago
- Agda interaction pluging for neovim☆35Updated last week
- Strongly-typed System F in Haskell☆117Updated last year
- A re-implementation of weeder using HIE files☆165Updated last week
- A community-driven collection of documentation for Haskell error messages and warnings☆99Updated last week
- Code challenges to solve with Haskell☆87Updated last year
- Agda formalisation of the Introduction to Homotopy Type Theory☆122Updated 2 years ago
- Language Server for Agda☆100Updated 9 months ago
- Language Server for Idris2☆160Updated this week
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆226Updated this week
- A package index for the Haskell ecosystem☆125Updated this week
- 😎TT☆217Updated 10 months ago
- Literate Haskell support for Markdown☆134Updated last week
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆76Updated 3 weeks ago
- GRIN backend for GHC☆143Updated 2 years ago
- Standard library for linear types in Haskell.☆333Updated this week
- Fast parsing from bytestrings☆144Updated 3 weeks ago
- Load a GHCi session for a Haskell project and reload it when source files change☆105Updated this week
- How I start Haskell.☆99Updated 8 months ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆80Updated last month
- Functional choreographic programming in Haskell☆78Updated last week
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆160Updated 11 months ago
- Benchmarks for capture-avoiding substitution☆106Updated last year
- ☆98Updated last week
- agda-mode on VS Code☆169Updated 2 weeks ago