NorfairKing / nanosmos
A simple text editor written in Haskell with Brick
☆13Updated 6 years ago
Alternatives and similar repositories for nanosmos:
Users that are interested in nanosmos are comparing it to the libraries listed below
- LibSSH2 FFI bindings for Haskell☆26Updated last month
- A GLFW-b adapter for the Haskell Reflex FRP implementation.☆10Updated 6 years ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- A simple build system for Idris☆22Updated 4 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- Fixed length vector for haskell☆21Updated 2 months ago
- Benchmarking tool with focus on comparing results.☆16Updated 6 months ago
- The most complete prelude formed only from the "base" package☆29Updated last year
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- QuasiQuoter for GHCJS JavaScript FFI☆20Updated 8 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- A collection of ready-to-use Prometheus Metrics to monitor your Haskell application☆13Updated 7 months ago
- tiny hack for colored pretty-printing within ghci☆20Updated 2 years ago
- Quick example of Eta on Android☆24Updated 7 years ago
- Browsing man pages and help pages with zero friction.☆35Updated 6 years ago
- Cursor data and manipulation☆21Updated last year
- An efficient graph library for Haskell☆39Updated 7 months ago
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Updated 5 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 months ago
- Simple comparative benchmarks for CSV parsing libraries☆17Updated 6 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- phantom types☆38Updated last month
- Safe web routing in haskell☆30Updated last year
- A small bifunctor library for idris☆21Updated 4 years ago
- Example project for developing PureScript projects with Nix☆19Updated 6 years ago
- Church-encoding of the Freer monad☆28Updated 8 years ago