owickstrom / idris-vimscript
Compile Idris to Vimscript, like you always wanted.
☆130Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for idris-vimscript
- Vim plugin for psc-ide☆96Updated 3 years ago
- Haskell+Neovim lightning fast autocompletion and other IDE functionality☆78Updated 8 years ago
- Developer tools for Haskell☆249Updated 4 months ago
- optics for Haskell with the most amazing type errors you've seen☆243Updated 4 years ago
- Haskell library for debugging☆122Updated 5 years ago
- Persistent GHC-powered background server for FAST haskell development tools☆99Updated 4 years ago
- Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.☆136Updated 4 years ago
- A neovim plugin for Intero, forked from ghcmod-vim☆218Updated 5 years ago
- Richard A. Eisenberg's PhD Dissertation☆207Updated 6 years ago
- Example code for how we swap compiled code within a running Haskell process.☆172Updated 6 years ago
- Format Haskell programs. Inspired by the gofmt utility.☆125Updated 2 years ago
- Syntax highlighting and indentation for PureScript☆154Updated last year
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- Language independent type-safe communication☆133Updated 6 years ago
- Idris mode for vim☆220Updated 4 years ago
- ☆284Updated 10 months ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆201Updated 7 months ago
- Refinement types with static checking☆182Updated this week
- The Haskell Refactoring Tool☆139Updated 7 years ago
- DEPRECATED! Interactive Haskell development using GHCi in Neovim☆46Updated 6 years ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- Auto-generate a command-line parser for your datatype☆208Updated 9 months ago
- High performance type safe html generation☆126Updated 2 years ago
- Aligning characters for fun and profit, with Haskell and PureScript☆75Updated 6 years ago
- A workspace for research teams☆106Updated 4 years ago
- Extensional capabilities and deriving combinators☆213Updated 4 months ago
- Validity and validity-based testing☆156Updated last month
- Produces ctags "tags" and etags "TAGS" files for Haskell programs☆130Updated last month
- JavaScript interface that works with GHCJS or GHC☆118Updated 3 weeks ago
- Composable, streaming, and efficient left folds☆160Updated 2 months ago