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 last year
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 7 years ago
• christian-public / Idris2-Erlang
  Erlang code generator for Idris 2
  ☆141Updated last year
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆89Updated last week
• mthom / scryer-shen
  ☆54Updated last month
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated 5 months ago
• vmchale / apple
  Apple array system
  ☆66Updated 3 weeks ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆124Updated 5 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• id3as / demo-ps
  Skeleton app with contrived client/server examples
  ☆20Updated 2 years 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
• mattpolzin / pg-idris
  Beginnings of a Postgres client for Idris 2
  ☆18Updated last week
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• feeley / etos
  Erlang to Scheme compiler
  ☆38Updated 13 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆73Updated last year
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆25Updated 9 months ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• gallettilance / magnificATS
  Collection of ATS goodness
  ☆35Updated 5 years ago
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆25Updated 9 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated last week
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• dfithian / chez-grater
  ☆37Updated last year
• playXE / capy
  Scheme implementation (now maybe working properly)
  ☆18Updated last year
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆43Updated 2 years ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago
• erlang-nix / hex2nix
  A tool to automatically convert Hex packages to the Nix Expression format
  ☆32Updated 5 years ago
• zyrolasting / denxi
  Denxi is a programming model for distributing data. It reduces the cost of producing package managers, storefronts, operating systems, an…
  ☆60Updated 2 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 5 months ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆35Updated 6 years ago