lexi-lambda / dotfilesLinks
☆8Updated 2 years ago
Alternatives and similar repositories for dotfiles
Users that are interested in dotfiles are comparing it to the libraries listed below
Sorting:
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆17Updated last year
- A Haskell IDE for Visual Studio Code.☆26Updated last week
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 5 months ago
- Library for invertible parsing and printing☆32Updated last year
- Source code for haskle.net☆30Updated last year
- Cabal-fmt vim plugin for formatting Cabal package files☆15Updated 4 years ago
- Lua backend for Idris 2☆28Updated 2 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 2 months ago
- List monad transformer☆60Updated last year
- ☆16Updated 3 years ago
- Classical Logic in Haskell☆24Updated 3 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Provably total, tail-call optimized monadic recursion in Idris2☆14Updated last year
- Wrap up Haskell tools☆15Updated 4 years ago
- Opinionated package manager for haskell (WIP)☆17Updated last year
- open union and open product types in Haskell☆32Updated 4 years ago
- ☆23Updated 7 years ago
- Run GHCi from within a Reflex FRP application and interact with it using a functional reactive interface.☆40Updated last year
- Tool for cleaning away old Haskell Stack build artifacts☆37Updated last year
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago
- A table library for Idris 2☆14Updated 2 years ago
- ☆17Updated last year
- ☆40Updated 2 months ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Updated 3 months ago
- A TOML parser for Idris 2☆17Updated 11 months ago
- A command-line replacement for the Google Authenticator App☆25Updated last year
- Data frames for Idris 2☆22Updated 2 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- ☆20Updated last month