fluffynukeit / adaspark
☆15Updated 2 years ago
Alternatives and similar repositories for adaspark:
Users that are interested in adaspark are comparing it to the libraries listed below
- ☆46Updated 4 months ago
- Run dyalog APL and RIDE on nixos☆21Updated 10 months ago
- ☆47Updated 7 years ago
- Pretty-print error messages of the ATS Compiler☆33Updated 5 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- An efficient graph library for Haskell☆39Updated 7 months ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆50Updated 2 months ago
- generate ATS interface from C code☆20Updated 8 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆59Updated 4 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆38Updated 9 months ago
- Single Page Web Applications in Idris☆24Updated 5 months ago
- ☆35Updated 5 years ago
- Javascript DOM bindings for Idris2☆51Updated 9 months ago
- 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
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Collection of ATS goodness☆35Updated 5 years ago
- Functional, expression-oriented data processing language☆87Updated last month
- Apple array system☆66Updated last week
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- Magic Wormhole for Haskell☆12Updated 11 months ago
- Experiment in Nix formatting☆21Updated 5 years ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- Data frames for Idris 2☆21Updated 2 years ago
- Collection of Utilities for Gerbil Scheme☆43Updated 7 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- a self-hosting lambda calculus compiler☆35Updated 4 years ago