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 6 months ago
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated last month
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆35Updated this week
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆25Updated last month
• cdupont / Timeloop
  ☆41Updated 2 years ago
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆18Updated last month
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆37Updated 2 years ago
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆73Updated 11 months ago
• gergoerdi / functional-mos6502-web-performance
  https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
  ☆27Updated 2 years ago
• monadicsystems / lucid-htmx
  lucid + htmx = lucid-htmx
  ☆19Updated last year
• freckle / stack-action
  GitHub Action to build, test, and lint Stack-based Haskell projects
  ☆22Updated last week
• thma / generic-persistence
  GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …
  ☆13Updated 2 weeks ago
• alexhumphreys / hello-idris2
  A template for idris projects
  ☆11Updated 4 years ago
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 10 months ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• composewell / haskell-dev
  Haskell development resources and best practices
  ☆19Updated 3 weeks ago
• stefan-hoeck / idris2-rhone-js
  Experimental JS bindings for idris2-rhone
  ☆21Updated 2 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆27Updated last week
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 6 months ago
• madman-bob / idris2-table
  A table library for Idris 2
  ☆15Updated 3 years ago
• pa-ba / AsyncRattus
  ☆14Updated last month
• composewell / streamly-examples
  Examples for Streamly
  ☆30Updated 3 months ago
• MercuryTechnologies / hlint-plugin
  GHC plugin for hlint
  ☆11Updated 2 years ago
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆26Updated 2 months ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 6 years ago
• ReplicaTest / REPLica
  Golden tests for command-line interfaces.
  ☆19Updated this week
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆14Updated 7 months ago
• typesanitizer / ozil
  Browsing man pages and help pages with zero friction.
  ☆35Updated 7 years ago
• LaurentRDC / javelin
  Haskell implementation of data structures for data science
  ☆24Updated 5 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆39Updated 3 months ago