Alternatives and similar repositories for adaspark

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

• erlang-nix / rebar3_nix
  Rebar3 plugin to interact with Nix ecosystem
  ☆13Updated 4 years ago
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆20Updated last year
• mthom / scryer-shen
  ☆58Updated 8 months ago
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 8 years ago
• vmchale / apple
  Apple array system
  ☆69Updated last month
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆83Updated 4 years ago
• gallettilance / magnificATS
  Collection of ATS goodness
  ☆34Updated 6 years ago
• Pedro-V / functional-asteroids
  Mini-game built on a functional style
  ☆13Updated 3 years ago
• ed-o-saurus / PLHaskell
  An extension for PostgreSQL that allows embedded Haskell code.
  ☆147Updated 3 months ago
• hercules-ci / canonix
  Experiment in Nix formatting
  ☆23Updated 6 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated last year
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆89Updated 2 weeks ago
• adinapoli / threads-supervisor
  Simple, IO-based Haskell library for Erlang-inspired thread supervisors
  ☆29Updated 3 years ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆37Updated 6 years ago
• dfithian / chez-grater
  ☆37Updated 2 years ago
• playXE / capy
  Scheme implementation (now maybe working properly)
  ☆19Updated 2 years ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆51Updated 3 years ago
• christian-public / Idris2-Erlang
  Erlang code generator for Idris 2
  ☆143Updated 2 years ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated last year
• bakaq / bakage
  An experimental package manager for Scryer Prolog
  ☆22Updated 2 months ago
• feeley / etos
  Erlang to Scheme compiler
  ☆39Updated 13 years ago
• jellehermsen / HasClunk
  An extremely simple static blog generator made in Haskell
  ☆21Updated 3 years ago
• deech / shen-rust
  ☆35Updated 6 years ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆54Updated 3 months ago
• erlang-nix / hex2nix
  A tool to automatically convert Hex packages to the Nix Expression format
  ☆32Updated 5 years ago
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆27Updated 9 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 8 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 9 months ago