NorfairKing / nanosmos
A simple text editor written in Haskell with Brick
☆13Updated 5 years ago
Alternatives and similar repositories for nanosmos:
Users that are interested in nanosmos are comparing it to the libraries listed below
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- An efficient graph library for Haskell☆39Updated 7 months ago
- Invertible parsing for S-expressions☆34Updated 5 months ago
- Cursor data and manipulation☆21Updated last year
- Benchmarking tool with focus on comparing results.☆16Updated 6 months ago
- A GLFW-b adapter for the Haskell Reflex FRP implementation.☆10Updated 6 years ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- Fixed length vector for haskell☆21Updated 2 months ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Concurrency features for the Haskell machines package☆17Updated 3 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated last month
- Spacemacs Layer for LiquidHaskell☆13Updated 7 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 9 months ago
- it's a starcraft clone but with a dope typesystem☆49Updated 4 years ago
- The most complete prelude formed only from the "base" package☆29Updated last year
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- tiny hack for colored pretty-printing within ghci☆20Updated 2 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 5 months ago
- Example project for developing PureScript projects with Nix☆19Updated 6 years ago
- Visualization of Haskell data structures☆15Updated last year
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- phantom types☆38Updated last month
- Reasonable Haskell default import☆27Updated 2 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- 💧 Liquid Haskell integration for Cabal and Stack☆23Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- A Haskell client library for Cayley database graph☆14Updated 6 months ago
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Updated 5 years ago