tree-sitter / haskell-tree-sitter
Haskell bindings for tree-sitter
☆154Updated last month
Related projects ⓘ
Alternatives and complementary repositories for haskell-tree-sitter
- Haskell grammar for tree-sitter.☆157Updated last week
- Strict markdown processor for writers☆111Updated 2 weeks ago
- An experiment of formatting .cabal files☆104Updated 5 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- The GHC API, decoupled from GHC versions☆161Updated 2 weeks ago
- Set up a GHC API session for various Haskell Projects☆181Updated 3 weeks ago
- Prelude written in @Serokell☆177Updated last month
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆73Updated last month
- A re-implementation of weeder using HIE files☆169Updated 2 weeks ago
- Nix (shell) expression for working on GHC☆144Updated this week
- Alternative API for processes, featuring more type safety☆109Updated 3 months ago
- Fake dependent types in Haskell using singletons☆287Updated 3 weeks ago
- Preprocessor for typesetting Haskell sources with LaTeX☆99Updated 11 months ago
- Standard library for linear types in Haskell.☆336Updated 2 weeks ago
- A structured concurrency library☆83Updated 4 months ago
- Extensional capabilities and deriving combinators☆213Updated 4 months ago
- Language Server for Agda☆102Updated 2 weeks ago
- agda-mode for neovim☆134Updated 3 weeks ago
- Haskell bindings to Lua, an embeddable scripting language.☆129Updated last week
- Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)☆38Updated 2 weeks ago
- Github actions for Haskell CI☆147Updated 10 months ago
- Designing, programming and deploying, in style.☆61Updated 2 years ago
- A continuation-based backtracking logic programming monad☆85Updated last week
- Fast parsing from bytestrings☆149Updated last week
- A language experiment -- irc.freenode.net ##coda☆163Updated 7 months ago
- Total Parser Combinators in Agda☆123Updated last year
- Haskell Functional Reactive Programming framework with type-level clocks☆124Updated this week
- Incremental vi and emacs tags for haskell.☆76Updated 2 months ago
- Set up your GitHub Actions workflow with a specific version of Haskell (GHC and Cabal)☆71Updated 3 years ago
- Language Server for Idris2☆164Updated 2 weeks ago