fluffynukeit / adasparkLinks
☆15Updated 3 years ago
Alternatives and similar repositories for adaspark
Users that are interested in adaspark are comparing it to the libraries listed below
Sorting:
- ☆56Updated 4 months ago
- Rebar3 plugin to interact with Nix ecosystem☆12Updated 3 years ago
- Run dyalog APL and RIDE on nixos☆20Updated last year
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- Erlang to Scheme compiler☆39Updated 13 years ago
- A tool to automatically convert Hex packages to the Nix Expression format☆32Updated 5 years ago
- Apple array system☆67Updated this week
- Plot Cookbook☆50Updated 2 years ago
- Erlang code generator for Idris 2☆142Updated last year
- ☆35Updated 6 years ago
- Luml is a type-inferred ML-style language that cross-compiles to Lua☆18Updated 6 years ago
- ☆47Updated 8 years ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- An opinionated OTP framework wrapper☆26Updated 8 months ago
- Algebraic structures for untyped Racket☆77Updated last year
- Racket-based implementation of Adapton☆22Updated 6 years ago
- Pretty-print error messages of the ATS Compiler☆37Updated 6 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated 2 years ago
- ☆138Updated 3 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆33Updated 11 months ago
- Functional, expression-oriented data processing language☆90Updated 3 months ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- Solutions to Advent of Code 2022 in APL & BQN (and Python if I'm lazy)☆15Updated last year
- Collection of ATS goodness☆34Updated 5 years ago
- Ordo: A minimalist language with row polymorphism☆85Updated 5 months ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago
- an implementation of stuck macros☆145Updated last week
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago