lexi-lambda / dotfiles

Related projects ⓘ

Alternatives and complementary repositories for dotfiles

• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• cjdev2 / text-conversions
  Safe conversions between Haskell textual types
  ☆39Updated 2 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆17Updated 10 months ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆31Updated 6 months ago
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆16Updated 5 months ago
• ShinKage / nvim-idris2
  EXPERIMENTAL: Idris2 plugin for neovim in Idris2
  ☆10Updated 3 years ago
• NorfairKing / cursor
  Cursor data and manipulation
  ☆21Updated 11 months ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 2 years ago
• tek / helic
  Clipboard synchronization tool
  ☆12Updated last year
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• AnthonySuper / jordan
  Abstract, inspectable JSON representation of Haskell objects
  ☆27Updated 2 years ago
• owickstrom / pandoc-emphasize-code
  A Pandoc filter for emphasizing code in fenced blocks
  ☆28Updated last year
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆27Updated 2 years ago
• emilypi / order
  Order theory
  ☆23Updated last year
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• stefan-hoeck / idris2-tailrec
  Provably total, tail-call optimized monadic recursion in Idris2
  ☆14Updated last year
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆24Updated 5 years ago
• tfausak / monadoc-5
  🔖 Better Haskell documentation.
  ☆17Updated 4 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 6 years ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆33Updated 2 weeks ago
• lukel97 / lsp-test
  A functional test framework for LSP servers
  ☆35Updated 3 years ago
• robrix / silkscreen
  Prettyprinting transformers for rainbow parens, precedence, etc.
  ☆16Updated 2 years ago
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 3 years ago
• knupfer / chronos
  Benchmarking tool with focus on comparing results.
  ☆16Updated 2 months ago
• purescript-emacs / purescript-mode
  Emacs major mode and related tools for Purescript
  ☆20Updated last month
• parsonsmatt / require-callstack
  Require that callers propagate `HasCallStack` constraints
  ☆19Updated last year
• ajnsit / purescript-from-scratch
  A comprehensive and practical tutorial for people to learn Purescript without any prior experience with functional programming
  ☆13Updated 3 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year