ShinKage / nvim-idris2
EXPERIMENTAL: Idris2 plugin for neovim in Idris2
☆10Updated 2 years ago
Related projects: ⓘ
- Lua backend for Idris 2☆27Updated 2 years ago
- Source code for haskle.net☆29Updated last year
- Purescript compiler back-end for Lua☆51Updated last week
- Data frames for Idris 2☆21Updated last year
- ☆17Updated last week
- Search Hoogle from Rofi☆29Updated 5 months ago
- Golden tests for command-line interfaces.☆18Updated last year
- todo and unimplemented, robustly implemented☆32Updated last week
- seamless management of source dependencies with nix☆37Updated 3 months ago
- Package manager for Idris☆35Updated 2 years ago
- Command line interface library in Idris☆30Updated last month
- A table library for Idris 2☆14Updated last year
- Browsing man pages and help pages with zero friction.☆35Updated 5 years ago
- A dependently typed programming language with direct style effects and linearity☆18Updated last month
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆16Updated 3 months ago
- ☆18Updated 4 months ago
- A Neovim plugin host and framework for Haskell☆19Updated this week
- The power of Haskell in your terminal!☆41Updated last month
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆14Updated 2 months ago
- An unofficial Idris2 package repository for Nix☆45Updated last year
- ☆19Updated last month
- ☆29Updated 2 years ago
- ☆17Updated this week
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆24Updated 2 years ago
- Clipboard synchronization tool☆12Updated 9 months ago
- Agda grammar for tree-sitter☆32Updated 6 months ago
- Fast higher-order effect handlers with evidence passing☆17Updated 8 months ago
- Malfunction backend for Idris 2☆12Updated 2 years ago
- Let's rethink how we interact with Agda☆18Updated last year
- Agda interaction pluging for neovim☆35Updated 2 weeks ago