idris-hackers / idris-sublime
A Plugin to use Idris with Sublime
☆27Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for idris-sublime
- Recursion schemes for Idris☆64Updated 6 years ago
- Provably correct implementation of insertion sort in Idris.☆28Updated 3 years ago
- Parsers for various configuration files written in Idris.☆19Updated 7 years ago
- A type-checker for Haskell with integer constraints☆40Updated 9 years ago
- Haskell library for simple, concise and fast generic operations.☆76Updated last year
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Open records for Haskell☆22Updated 7 years ago
- GRIN backend for Idris☆51Updated 4 years ago
- ☆47Updated 6 years ago
- A small bifunctor library for idris☆21Updated 3 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- Idris LLVM codegen factored out☆78Updated 7 years ago
- Type provider library for Idris☆92Updated 6 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- A semantic highlighter for Idris code☆14Updated 6 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Web based opetopic editor☆34Updated last month
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆47Updated 2 months ago
- JHC Haskell compiler split into reusable components☆57Updated 5 years ago
- Haskell 98 contravariant functors☆73Updated last month
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆44Updated 2 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆25Updated 6 years ago
- playground for working with succinct data structures☆94Updated 9 years ago
- Parse and pretty-print Bash shell scripts☆35Updated 3 months ago
- TParsec - Total Parser Combinators in Idris☆93Updated last year
- A Idris Mode for Atom.io☆100Updated 3 months ago
- A general purpose programming language with linear types☆44Updated 7 years ago