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
  ☆120Updated last week
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆18Updated 3 years ago
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆65Updated 9 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆36Updated last week
• JuliaLLVM / MLIR.jl
  Julia library to manipulate MLIR dialects.
  ☆65Updated 9 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆82Updated this week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• louisponet / Overseer.jl
  Entity Component System with julia
  ☆68Updated 2 years ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆101Updated last year
• AlgebraicJulia / ACSets.jl
  ACSets: Algebraic databases as in-memory data structures
  ☆26Updated last month
• neelsomani / cuq
  Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
  ☆94Updated last month
• codereport / array-language-comparisons
  A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
  ☆203Updated 9 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆32Updated last month
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆33Updated last year
• JuliaLLVM / LLVM.jl
  Julia wrapper for the LLVM C API
  ☆142Updated 3 weeks ago
• shashi / APL.jl
  a pure julia APL implementation that gets mostly "compiled out"
  ☆66Updated 3 years ago
• milankl / SoftPosit.jl
  A posit arithmetic emulator.
  ☆54Updated last year
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 5 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated 2 years ago
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆78Updated last month
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆69Updated this week
• regina-normal / regina
  The main source code for Regina
  ☆39Updated this week
• codereport / FM2GP-2025
  Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming
  ☆27Updated 7 months ago
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆14Updated 8 months ago
• EnzymeAD / Enzyme-MLIR-Reverse
  Fork of Enzyme to work on Reverse-Mode Differentiation at the MLIR-level.
  ☆11Updated 2 years ago
• oxrinz / rv32i
  32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch
  ☆22Updated 2 months ago
• MilesCranmer / BorrowChecker.jl
  A borrow checker for Julia
  ☆113Updated this week
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆29Updated 5 years ago