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
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• adinapoli / threads-supervisor
  Simple, IO-based Haskell library for Erlang-inspired thread supervisors
  ☆29Updated 3 years ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated 6 months ago
• erlang-nix / rebar3_nix
  Rebar3 plugin to interact with Nix ecosystem
  ☆12Updated 3 years ago
• mthom / scryer-shen
  ☆56Updated 3 months ago
• gallettilance / magnificATS
  Collection of ATS goodness
  ☆34Updated 5 years ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 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
• dfithian / chez-grater
  ☆37Updated last year
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• christian-public / Idris2-Erlang
  Erlang code generator for Idris 2
  ☆142Updated last year
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 8 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated last year
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆89Updated last month
• merle-lang / luml
  Luml is a type-inferred ML-style language that cross-compiles to Lua
  ☆18Updated 6 years ago
• softwarefactory-project / dhall-ansible
  Ansible definitions with Dhall
  ☆68Updated last year
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• vmchale / apple
  Apple array system
  ☆67Updated 2 weeks ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆67Updated last year
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆67Updated last year
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆37Updated 6 years ago
• ed-o-saurus / PLHaskell
  An extension for PostgreSQL that allows embedded Haskell code.
  ☆140Updated 3 months ago
• feeley / etos
  Erlang to Scheme compiler
  ☆38Updated 13 years ago
• deech / shen-rust
  ☆35Updated 6 years ago
• Feldspar / raw-feldspar
  Resource-AWare Feldspar
  ☆38Updated 3 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 4 months ago
• svanderburg / dysnomia
  Dysnomia: A tool for deploying mutable components
  ☆86Updated last year