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 7 months ago
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆27Updated last month
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆73Updated last year
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 2 months ago
• madman-bob / idris2-table
  A table library for Idris 2
  ☆15Updated 3 years 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
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆18Updated 2 months ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆38Updated 2 years ago
• pa-ba / AsyncRattus
  ☆14Updated 2 months ago
• cdupont / Timeloop
  ☆41Updated 2 years ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆35Updated last week
• alexhumphreys / hello-idris2
  A template for idris projects
  ☆11Updated 4 years ago
• monadfix / ormolu-live
  ☆13Updated 5 years ago
• id3as / purescript-backend-erl
  ☆15Updated this week
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 11 months ago
• purescript / registry
  Registry of PureScript packages and metadata about them
  ☆48Updated this week
• deadpendency / deadpendency
  ☆26Updated 2 years ago
• freckle / stack-action
  GitHub Action to build, test, and lint Stack-based Haskell projects
  ☆22Updated this week
• reflex-frp / patch
  Data structures for describing changes to other data structures.
  ☆17Updated last year
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated last year
• MercuryTechnologies / hlint-plugin
  GHC plugin for hlint
  ☆11Updated 2 years ago
• composewell / streamly-examples
  Examples for Streamly
  ☆30Updated 4 months ago
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 4 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• thma / generic-persistence
  GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …
  ☆13Updated last month
• monadicsystems / lucid-htmx
  lucid + htmx = lucid-htmx
  ☆19Updated last year
• stefan-hoeck / idris2-rhone-js
  Experimental JS bindings for idris2-rhone
  ☆21Updated 2 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 6 years 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
  ☆16Updated last year