Alternatives and similar repositories for tree-sitter-idris

Users that are interested in tree-sitter-idris are comparing it to the libraries listed below

• postsolar / tree-sitter-purescript
  ☆21Updated 5 months ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆34Updated last week
• cdupont / Timeloop
  ☆41Updated 2 years ago
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆25Updated last week
• madman-bob / idris2-table
  A table library for Idris 2
  ☆15Updated 3 years ago
• MercuryTechnologies / hlint-plugin
  GHC plugin for hlint
  ☆11Updated 2 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆37Updated 2 years ago
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated last month
• monadicsystems / lucid-htmx
  lucid + htmx = lucid-htmx
  ☆19Updated last year
• codedownio / servant-typescript
  TypeScript client generation for Servant
  ☆27Updated 6 months ago
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆73Updated 10 months ago
• typesanitizer / ozil
  Browsing man pages and help pages with zero friction.
  ☆35Updated 7 years ago
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆18Updated 2 weeks ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 6 years ago
• monadfix / ormolu-live
  ☆13Updated 5 years ago
• stefan-hoeck / idris2-rhone-js
  Experimental JS bindings for idris2-rhone
  ☆21Updated 2 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• agentm / curryer
  Fast Haskell RPC
  ☆30Updated last month
• alexhumphreys / hello-idris2
  A template for idris projects
  ☆11Updated 4 years ago
• ReplicaTest / REPLica
  Golden tests for command-line interfaces.
  ☆19Updated 2 years ago
• LaurentRDC / javelin
  Haskell implementation of data structures for data science
  ☆24Updated 4 months ago
• Kleidukos / boreal
  ☆23Updated 6 months ago
• parsonsmatt / require-callstack
  Require that callers propagate `HasCallStack` constraints
  ☆21Updated 11 months ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆27Updated 3 weeks ago
• alt-romes / haskell-x-swift-project-steps
  A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post
  ☆15Updated last year
• composewell / streamly-examples
  Examples for Streamly
  ☆30Updated 2 months ago
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 9 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆37Updated 2 months ago
• freckle / stack-action
  GitHub Action to build, test, and lint Stack-based Haskell projects
  ☆22Updated last week
• awkward-squad / ki
  A structured concurrency library
  ☆86Updated 9 months ago