yi-editor / yi-ropeLinks
Rope data structure used by Yi
☆20Updated 7 years ago
Alternatives and similar repositories for yi-rope
Users that are interested in yi-rope are comparing it to the libraries listed below
Sorting:
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆50Updated last month
- ☆23Updated 7 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Elaborate and expressive S-Expression library for Haskell☆63Updated last year
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 10 years ago
- ☆32Updated 9 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- List monad transformer☆60Updated last year
- Catchy combinators for HUnit☆36Updated 5 months ago
- First class composable record labels for Haskell.☆68Updated 3 years ago
- Parse and pretty-print Bash shell scripts☆35Updated last month
- Golden test support for Tasty☆40Updated 10 months ago
- Extensible HTTP Web server configured entirely by a yaml file☆25Updated 7 years ago
- Deep evaluation of data structures☆43Updated 3 months ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- Spacemacs Layer for LiquidHaskell☆13Updated 8 years ago
- A GHC type checker plugin for row types☆39Updated 7 years ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆59Updated 2 years ago
- A natural transformation package☆16Updated 7 months ago
- Haskell Pretty-printer library☆75Updated 2 months ago
- Haskell ctags/etags generator☆25Updated 2 years ago
- Example project for developing PureScript projects with Nix☆19Updated 7 years ago
- Haskell suite library for name resolution☆52Updated 5 months ago
- library to manipulate git repositories in haskell (no bindings)☆50Updated 6 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Flexible session middleware for WAI☆15Updated 4 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- A game about exponential growth written in Haskell☆31Updated 9 years ago