lexi-lambda / dotfiles
☆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:
- ☆23Updated 7 years ago
- Library for invertible parsing and printing☆32Updated 11 months ago
- List monad transformer☆60Updated 11 months ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆17Updated 11 months ago
- Wrap up Haskell tools☆15Updated 4 years ago
- Haskell implementation of DAP interface data.☆25Updated this week
- A Haskell monad transformer library for data validation☆36Updated last year
- Cabal-fmt vim plugin for formatting Cabal package files☆15Updated 4 years ago
- A functional test framework for LSP servers☆35Updated 4 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Emacs major mode and related tools for Purescript☆21Updated this week
- Invertible parsing for S-expressions☆34Updated last month
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- Safe conversions between Haskell textual types☆39Updated 3 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- ☆17Updated last year
- An efficient graph library for Haskell☆39Updated 9 months ago
- Dependently typed elimination functions using singletons☆28Updated 4 months ago
- A talk☆28Updated 4 years ago
- ☆17Updated last year
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Updated 3 years ago
- A flexible Haskell API for querying the GitHub REST API☆14Updated 11 months ago
- ☆16Updated 3 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 11 months ago
- Lua backend for Idris 2☆28Updated 2 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 3 months ago
- Linear map categories in Agda☆5Updated 2 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 6 months ago