Alternatives and similar repositories for kjunior

Users that are interested in kjunior are comparing it to the libraries listed below

• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆114Updated last week
• codereport / plgraph
  ☆19Updated last year
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆56Updated 2 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated 2 months ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 2 years ago
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆18Updated 3 years ago
• ashermancinelli / cxbqn
  BQN virtual machine
  ☆31Updated last year
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆69Updated this week
• mlochbaum / bqncrate
  A derivative approach to finding your way in BQN
  ☆39Updated last month
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆31Updated last year
• codereport / jellyfish
  A fork of Jelly (recreational programming language inspired by J) that fixes bugs I have run into and extends the language.
  ☆14Updated 11 months ago
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆48Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• razetime / bqn-vscode
  BQN programming language vscode plugin (symbol input, syntax highlighting)
  ☆22Updated 7 months ago
• riswords / quiche
  ☆22Updated 2 years ago
• PlanetAPL / a-plus
  The A+ programming language from Morgan Stanley
  ☆38Updated 11 years ago
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆68Updated 10 months ago
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 4 months ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆54Updated 3 weeks ago
• cucapra / gator
  Geometry types
  ☆30Updated 4 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 2 months ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆32Updated 4 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 8 months ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆100Updated 2 weeks ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• abrudz / dyalog_vision
  A realistic future development for the core language of Dyalog APL
  ☆11Updated 2 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• JuliaLLVM / MLIR.jl
  Julia library to manipulate MLIR dialects.
  ☆61Updated 3 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆29Updated last week
• shashi / APL.jl
  ☆67Updated 3 years ago