Alternatives and similar repositories for adaspark:

Users that are interested in adaspark are comparing it to the libraries listed below

• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆20Updated 11 months ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated last month
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆25Updated 7 months ago
• idris-hackers / idris-cph-exercises
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Updated 9 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆50Updated 3 months ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 7 years ago
• erlang-nix / rebar3_nix
  Rebar3 plugin to interact with Nix ecosystem
  ☆12Updated 3 years ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆53Updated 11 months ago
• mattpolzin / pg-idris
  Beginnings of a Postgres client for Idris 2
  ☆18Updated 5 months ago
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated last year
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated 3 months ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆87Updated this week
• gallettilance / magnificATS
  Collection of ATS goodness
  ☆35Updated 5 years ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆35Updated 5 years ago
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• mthom / scryer-shen
  ☆48Updated 6 months ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 9 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• mmhelloworld / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆12Updated 3 years ago
• metasepi / c2ats
  generate ATS interface from C code
  ☆20Updated 8 years ago
• justinwoo / prefetch-github
  A helper to save me some keystrokes from nix-prefetch-git.
  ☆13Updated 6 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 6 months ago
• deech / shen-rust
  ☆35Updated 5 years ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆25Updated 4 months ago