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:
- Parser for Emacs org-mode files☆32Updated last year
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 5 years ago
- Javascript DOM bindings for Idris2☆52Updated 2 weeks ago
- Emacs major mode and related tools for Purescript☆22Updated last month
- ☆26Updated this week
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- A TOML parser for Idris 2☆17Updated last year
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 5 months ago
- Wrappers around emacs-module.h to write Emacs modules in Haskell☆60Updated 7 months ago
- Provably total, tail-call optimized monadic recursion in Idris2☆14Updated last year
- ☆19Updated last month
- A formatter for Haskell source code☆37Updated 3 years ago
- ☆45Updated 6 months ago
- ☆44Updated 2 years ago
- Immutable and mutable (linear) arrays☆9Updated last month
- Package manager for Idris☆37Updated 2 years ago
- A bit of DSLs, a bit of I/O☆15Updated last year
- Dhall bindings for Idris☆41Updated 7 months ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Command line interface library in Idris☆31Updated 11 months ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆19Updated 3 years ago
- Experimental effects library for Idris 2☆43Updated 3 years ago
- Strongly typed paths in Haskell☆15Updated 2 years ago
- Invertible parsing for S-expressions☆34Updated 3 months ago
- Lua backend for Idris 2☆28Updated 2 years ago
- Idris 2 bindings to various C libraries☆15Updated 4 years ago
- Haskell implementation of DAP interface data.☆25Updated 2 months ago
- All the Transient libraries☆41Updated 3 months ago
- ☆48Updated 3 weeks ago