markus1189 / dyalog-nixosLinks
Run dyalog APL and RIDE on nixos
☆20Updated last year
Alternatives and similar repositories for dyalog-nixos
Users that are interested in dyalog-nixos are comparing it to the libraries listed below
Sorting:
- Apple array system☆67Updated last month
- Functional, expression-oriented data processing language☆89Updated last month
- Oleg Kiselyov's zipper-based file-server/OS☆25Updated 5 years ago
- Informal collection of BQN utilities☆58Updated 2 weeks ago
- Lua backend for Idris 2☆28Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆35Updated last week
- A relational interpretation of Lojban☆34Updated last week
- Javascript DOM bindings for Idris2☆53Updated last month
- Jupyter notebooks☆58Updated 8 months ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆27Updated this week
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 5 months ago
- A derivative approach to finding your way in BQN☆39Updated 2 weeks ago
- ☆34Updated last month
- a self-hosting lambda calculus compiler☆36Updated 4 months ago
- Dhall support for the DOT language for graphviz☆37Updated 2 years ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆75Updated 5 years ago
- Prototypes: Object Orientation, Functionally☆46Updated last week
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 5 years ago
- Pretty-print error messages of the ATS Compiler☆36Updated 6 years ago
- Generate NetHack configurations using Dhall☆36Updated 4 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- Inline Haskell inside your Python code☆25Updated 8 months ago
- Python bindings for dhall, a functional configuration language☆48Updated 8 months ago
- ☆37Updated last year
- My Advent of Code solutions☆22Updated 7 months ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- Interpret Haskell programs into any cartesian closed category.☆63Updated 2 months ago
- Take an info.rkt file, produce a info.nix file.☆42Updated 4 years ago