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 4 months ago
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆25Updated 2 weeks ago
• 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 10 months ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆32Updated last week
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 9 months 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
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆18Updated last month
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 2 weeks 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
• cdupont / Timeloop
  ☆41Updated 2 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated last year
• madman-bob / idris2-table
  A table library for Idris 2
  ☆14Updated 3 years ago
• stefan-hoeck / idris2-rhone-js
  Experimental JS bindings for idris2-rhone
  ☆21Updated 2 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• mattpolzin / pg-idris
  Beginnings of a Postgres client for Idris 2
  ☆18Updated last month
• alexhumphreys / hello-idris2
  A template for idris projects
  ☆11Updated 4 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• sdzx-1 / typed-fsm
  A fully type-safe finite state machines
  ☆19Updated 11 months ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 6 years ago
• purescript-web / purescript-web-html
  Type definitions and low level interface implementations for the W3C HTML5 spec
  ☆33Updated 2 years ago
• purefunctor / purescript-ouroboros
  Ouroboros is a PureScript compiler written in PureScript.
  ☆20Updated last year
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆13Updated 6 months ago
• freckle / stack-action
  GitHub Action to build, test, and lint Stack-based Haskell projects
  ☆22Updated last week
• MercuryTechnologies / hlint-plugin
  GHC plugin for hlint
  ☆11Updated 2 years ago
• purescript / registry
  Registry of PureScript packages and metadata about them
  ☆47Updated last week
• pa-ba / AsyncRattus
  ☆14Updated this week
• typesanitizer / ozil
  Browsing man pages and help pages with zero friction.
  ☆35Updated 6 years ago
• docelic / awesome-urweb
  Collection of awesome Ur/Web libraries, components, and projects
  ☆13Updated 3 years ago
• agentm / curryer
  Fast Haskell RPC
  ☆30Updated 2 weeks ago