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
• mthom / scryer-shen
  ☆56Updated 7 months ago
• bakaq / bakage
  An experimental package manager for Scryer Prolog
  ☆21Updated 3 weeks ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆51Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆83Updated 2 months ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆80Updated 3 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• feeley / etos
  Erlang to Scheme compiler
  ☆39Updated 13 years ago
• playXE / capy
  Scheme implementation (now maybe working properly)
  ☆19Updated 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 10 years ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Updated 3 years ago
• erlang-nix / rebar3_nix
  Rebar3 plugin to interact with Nix ecosystem
  ☆13Updated 3 years ago
• gallettilance / magnificATS
  Collection of ATS goodness
  ☆34Updated 6 years ago
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 8 years ago
• deech / shen-rust
  ☆35Updated 6 years ago
• vmchale / apple
  Apple array system
  ☆68Updated last week
• samdphillips / raco-pkg-env
  virtualenv like tool for Racket
  ☆31Updated 3 years ago
• adinapoli / threads-supervisor
  Simple, IO-based Haskell library for Erlang-inspired thread supervisors
  ☆29Updated 3 years ago
• tizoc / shen-scheme
  Shen/Scheme implementation
  ☆126Updated 7 months ago
• christian-public / Idris2-Erlang
  Erlang code generator for Idris 2
  ☆142Updated 2 years ago
• pezipink / fairylog
  A Verilog dialect supercharged by the Racket meta-fairies.
  ☆57Updated 6 years ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆90Updated 3 weeks ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆37Updated 6 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆24Updated 6 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• s-zeng / dhall-python
  Python bindings for dhall, a functional configuration language
  ☆49Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• hmac / kite
  A Haskell-like language for scripting and web apps
  ☆14Updated last year