codereport / kjunior
K Junior is an MIT licensed open source array language written by Arthur Whitney.
☆20Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for kjunior
- High-level interface for low-level programming☆102Updated this week
- BQN implementation in Julia☆17Updated 2 years ago
- Entity Component System with julia☆59Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆24Updated 2 weeks ago
- ☆64Updated 2 years ago
- A graphical editor for graph-like structures☆94Updated 10 months ago
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆152Updated 2 months ago
- An efficient symbolic term rewriting engine☆77Updated 3 years ago
- Relational Algebra, now with more algebra!☆48Updated 2 weeks ago
- MimIR is my Intermediate Representation☆48Updated last week
- A minimal proof checker.☆64Updated 2 months ago
- Library for compile-time computing in julia☆70Updated 11 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated last year
- Build Petri net models compositionally☆76Updated 2 weeks ago
- Accelerated machine learning with dependent types☆76Updated 3 weeks ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆67Updated 7 years ago
- Building dynamical systems compositionally☆66Updated 2 weeks ago
- A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.☆51Updated 3 months ago
- ☆37Updated last month
- An interactive theorem prover for string diagrams☆108Updated 2 weeks ago
- ☆56Updated 3 weeks ago
- BQN virtual machine☆31Updated 9 months ago
- A List of companies that use Array Languages (J, K, APL, q)☆93Updated 7 months ago
- ☆22Updated last year
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆25Updated this week
- ☆109Updated 9 months ago
- Library for exact real number computations☆39Updated 9 years ago
- Julia interface to Z3☆57Updated last month
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 2 months ago