NorfairKing / nanosmosLinks
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
Sorting:
- Cursor data and manipulation☆21Updated last year
- Lens interface for your filesystem☆22Updated 4 years ago
- Web front UI for interactive Haskell projects☆33Updated 5 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- A GLFW-b adapter for the Haskell Reflex FRP implementation.☆10Updated 6 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 2 months ago
- QuasiQuoter for GHCJS JavaScript FFI☆20Updated 8 years ago
- phantom types☆38Updated 4 months ago
- Logging library to provide more convenient, extremely configurable but simple monadic interface with pretty output☆19Updated 5 years ago
- Invertible parsing for S-expressions☆34Updated 2 months ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- Benchmarking tool with focus on comparing results.☆16Updated 8 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- A Haskell client library for Cayley database graph☆14Updated 3 weeks ago
- Concurrency for the pipes ecosystem☆44Updated 2 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- ☆23Updated 7 years ago
- A more progressive alternative to the "base" package☆27Updated 4 months ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- Church-encoding of the Freer monad☆28Updated 8 years ago
- Quickcheck Properties for common typeclasses☆35Updated last month
- Safe web routing in haskell☆30Updated 2 years ago
- Quiver stream processing library☆15Updated 8 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 4 years ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆14Updated 4 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Spacemacs Layer for LiquidHaskell☆13Updated 7 years ago