ucsd-progsys / liquid-types-spacemacs
Spacemacs Layer for LiquidHaskell
☆13Updated 7 years ago
Alternatives and similar repositories for liquid-types-spacemacs:
Users that are interested in liquid-types-spacemacs are comparing it to the libraries listed below
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- An experiment in functional interface design☆23Updated 8 years ago
- Toggle Haskell language extensions from Emacs☆22Updated 5 years ago
- Lambdabot for Slack☆20Updated 8 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Real World Reflex Presentation☆25Updated 7 years ago
- Show programming language printed values in a web UI☆24Updated 5 years ago
- Make presentations for data types☆25Updated 3 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Example project for developing PureScript projects with Nix☆19Updated 6 years ago
- Protect against backwards-incompatible serializations☆23Updated 3 years ago
- An OS written in Idris (eventually...)☆19Updated 9 years ago
- Classy error-handling (and dispatching!) in Haskell.☆48Updated 5 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Use hpack's phrasing in dhall to write cabal files☆31Updated last month
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 4 months ago
- Fuzzy string search in Haskell☆14Updated last year
- A curated wishlist of Haskell libraries, packages, and tools☆16Updated 9 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- GHC prof manipulation script☆32Updated last year
- Visualization of Haskell data structures☆15Updated last year
- Codo notation for programming with comonads in Haskell☆26Updated 4 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Invertible parsing for S-expressions☆34Updated 5 months ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated 3 weeks ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Updated 7 months ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 8 months ago
- ☆39Updated 7 years ago
- Tools for defining and parsing configurations of Haskell applications☆23Updated 8 months ago