idris-community / idris2-modeLinks
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
☆25Updated 6 months ago
Alternatives and similar repositories for idris2-mode
Users that are interested in idris2-mode are comparing it to the libraries listed below
Sorting:
- ☆26Updated this week
- Javascript DOM bindings for Idris2☆52Updated last year
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 5 years ago
- Command line interface library in Idris☆31Updated 11 months ago
- ☆19Updated last month
- Idris port of Haskell's sop-core library☆35Updated last month
- Package manager for Idris☆37Updated 2 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 4 months ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Provably total, tail-call optimized monadic recursion in Idris2☆14Updated last year
- A TOML parser for Idris 2☆17Updated last year
- Parser for Emacs org-mode files☆32Updated last year
- Emacs major mode and related tools for Purescript☆22Updated 2 weeks ago
- Linear mutable References and Utilities☆13Updated 2 months ago
- A formatter for Haskell source code☆37Updated 3 years ago
- ☆21Updated last month
- Wrappers around emacs-module.h to write Emacs modules in Haskell☆60Updated 6 months ago
- Experimental effects library for Idris 2☆42Updated 3 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Asymptotically optimal Brodal/Okasaki heaps☆31Updated 6 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated last year
- Zippers based on lenses and traversals☆40Updated last year
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- An efficient graph library for Haskell☆39Updated last month
- Dhall bindings for Idris☆41Updated 6 months ago
- Invertible parsing for S-expressions☆34Updated 2 months ago
- Interpret Haskell programs into any cartesian closed category.☆61Updated last month