markus1189 / dyalog-nixos
Run dyalog APL and RIDE on nixos
☆20Updated 10 months ago
Alternatives and similar repositories for dyalog-nixos:
Users that are interested in dyalog-nixos are comparing it to the libraries listed below
- Your happy place for learning APL☆16Updated 2 years ago
- Lua backend for Idris 2☆27Updated 2 years ago
- Apple array system☆66Updated last week
- My Advent of Code solutions☆22Updated 3 months ago
- a self-hosting lambda calculus compiler☆35Updated last week
- An epoll-based HTTP library for ATS2☆14Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- Experiment in Nix formatting☆21Updated 5 years ago
- ☆21Updated last week
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- Dhall support for the DOT language for graphviz☆37Updated 2 years ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- Generate NetHack configurations using Dhall☆36Updated 3 years ago
- Manage your Containerfile with Dhall.☆31Updated 3 years ago
- A Haskell-like language for scripting and web apps☆13Updated 10 months ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆17Updated 10 months ago
- covid-19 data in J☆16Updated 3 years ago
- Check cross-references in repository documents☆56Updated 2 weeks ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Data frames for Idris 2☆21Updated 2 years ago
- Opinionated package manager for haskell (WIP)☆17Updated last year
- ☆18Updated 5 years ago
- A framework for managing daemons from Haskell and libraries for use with postgresql and nix☆21Updated last month
- Automatically generated Nix expressions of Stackage snapshots☆12Updated this week
- A helper to save me some keystrokes from nix-prefetch-git.☆13Updated 6 years ago
- A haskell tutorial using CodeWorld☆19Updated 3 months ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated last week
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 10 months ago
- Beginnings of a Postgres client for Idris 2☆18Updated 4 months ago
- Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants☆38Updated 5 years ago