Alternatives and similar repositories for dyalog-nixos

Users that are interested in dyalog-nixos are comparing it to the libraries listed below

• vmchale / apple
  Apple array system
  ☆67Updated last week
• jkarni / ZipperFS
  Oleg Kiselyov's zipper-based file-server/OS
  ☆26Updated 5 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆89Updated 2 months ago
• mlochbaum / bqn-libs
  Informal collection of BQN utilities
  ☆59Updated last month
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆36Updated last week
• mlochbaum / bqncrate
  A derivative approach to finding your way in BQN
  ☆39Updated 3 weeks ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated last month
• x86y / beacon
  A native and a cross platform guide for BQN array programming language
  ☆58Updated last year
• dfithian / chez-grater
  ☆37Updated last year
• transient-haskell / transient-stack
  All the Transient libraries
  ☆41Updated 2 weeks ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆32Updated this week
• obsidiansystems / nix-thunk
  seamless management of source dependencies with nix
  ☆40Updated last month
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated last year
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 8 months ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated 3 weeks ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 9 months ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆37Updated 6 years ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆52Updated 2 months ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆76Updated 8 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆65Updated last month
• travitch / haggle
  An efficient graph library for Haskell
  ☆38Updated 2 weeks ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆59Updated 5 years ago
• target / nix-fetchers
  A set of morally pure fetching builtins for Nix.
  ☆43Updated 2 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• fractalide / racket2nix
  Take an info.rkt file, produce a info.nix file.
  ☆42Updated 4 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆24Updated 9 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆120Updated last week
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 5 months ago