fluffynukeit / adasparkLinks
☆15Updated 2 years ago
Alternatives and similar repositories for adaspark
Users that are interested in adaspark are comparing it to the libraries listed below
Sorting:
- Run dyalog APL and RIDE on nixos☆20Updated last year
- ☆47Updated 7 years ago
- Single Page Web Applications in Idris☆25Updated 8 months ago
- Lua backend for Idris 2☆28Updated 2 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- Pretty-print error messages of the ATS Compiler☆35Updated 5 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 5 months ago
- Javascript DOM bindings for Idris2☆52Updated last year
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- ☆35Updated 5 years ago
- An efficient graph library for Haskell☆39Updated 3 weeks ago
- Plot Cookbook☆50Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Rebar3 plugin to interact with Nix ecosystem☆12Updated 3 years ago
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- Experiment in Nix formatting☆22Updated 5 years ago
- ☆53Updated last month
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Haskell implementation of the KDL Document Language☆22Updated 2 years ago
- GHC prof manipulation script☆32Updated last year
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Erlang to Scheme compiler☆37Updated 13 years ago
- Invertible parsing for S-expressions☆34Updated 2 months ago
- Game NetCode Solved☆24Updated 4 years ago
- Functional, expression-oriented data processing language☆89Updated last month
- The Iowa Agda Library☆48Updated this week
- higher order dependently typed logic programing☆171Updated 6 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- An epoll-based HTTP library for ATS2☆14Updated 2 years ago
- an implementation of stuck macros☆142Updated 3 months ago