yi-editor / yi-rope
Rope data structure used by Yi
☆20Updated 6 years ago
Alternatives and similar repositories for yi-rope:
Users that are interested in yi-rope are comparing it to the libraries listed below
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 3 weeks ago
- ☆23Updated 7 years ago
- Haskell ctags/etags generator☆25Updated last year
- Haskell types and parsers for software version numbers.☆20Updated 2 months ago
- phantom types☆38Updated 2 months ago
- A natural transformation package☆16Updated last month
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Fingertrees of Bytestrings☆19Updated 6 years ago
- Example project for developing PureScript projects with Nix☆19Updated 6 years ago
- A library for generating RSS 2.0 feeds.☆18Updated 9 months ago
- List monad transformer☆60Updated 11 months ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 10 months ago
- open union and open product types in Haskell☆32Updated 4 years ago
- the EitherT monad transformer☆55Updated last month
- All of `base` without the `Prelude` module☆44Updated 2 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- ☆21Updated 2 years ago
- Deep evaluation of data structures☆41Updated 7 months ago
- ☆32Updated 8 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Flexible session middleware for WAI☆15Updated 4 years ago
- A monad for managed values☆50Updated 2 years ago
- Idris style sized vectors in PureScript☆18Updated 4 years ago
- Simple helper functions to work with optparse-applicative☆29Updated 3 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆18Updated 2 months ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 2 months ago