michaelfeathers / vih
a simple vi clone written in Haskell
☆29Updated 15 years ago
Related projects ⓘ
Alternatives and complementary repositories for vih
- tiny hack for colored pretty-printing within ghci☆20Updated 2 years ago
- Oleg Kiselyov's zipper-based file-server/OS☆24Updated 4 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 3 weeks ago
- Vim plugin for ATS☆16Updated 3 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆15Updated 2 months ago
- Logic puzzle game based on the lambda calculus☆19Updated 12 years ago
- Build tool for ATS.☆41Updated 2 years ago
- A simple build system for Idris☆22Updated 3 years ago
- JSON pretty-printing library and command-line tool.☆64Updated 7 months ago
- Some experiments are more experimental than others.☆26Updated 8 months ago
- ☆44Updated last year
- A simple, purely-functional programming language☆24Updated 2 years ago
- Fixed length vector for haskell☆21Updated last week
- ☆23Updated 6 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆54Updated 6 months ago
- Haskell JSON library☆27Updated 2 weeks ago
- Haskell binding for Chipmunk, 2D physics engine.☆22Updated 9 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Pure-Haskell proper unicode string handling☆15Updated 8 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆47Updated 4 years ago
- Asymptotically optimal Brodal/Okasaki heaps☆29Updated 3 weeks ago
- ☆77Updated 2 years ago
- Agda from Nothing: Order in the Types☆13Updated 7 years ago
- Unified Haskell interface for basic file system notifications☆137Updated 2 weeks ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- ☆8Updated 2 years ago