Alternatives and similar repositories for kjunior:

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

• IanBriggs / megalibm
  ☆16Updated last year
• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆108Updated last week
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated 2 weeks ago
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆18Updated 2 years ago
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆55Updated last month
• regina-normal / regina
  The main source code for Regina
  ☆36Updated last week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• riswords / quiche
  ☆21Updated 2 years ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆32Updated this week
• shashi / APL.jl
  ☆66Updated 2 years ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆26Updated 6 years ago
• PlanetAPL / a-plus
  The A+ programming language from Morgan Stanley
  ☆38Updated 11 years ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆54Updated this week
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆31Updated last year
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• MilesCranmer / BorrowChecker.jl
  A borrow checker for Julia
  ☆84Updated last month
• codereport / jellyfish
  A fork of Jelly (recreational programming language inspired by J) that fixes bugs I have run into and extends the language.
  ☆14Updated 10 months ago
• tensor-fusion / microhaskell
  Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.
  ☆15Updated 9 months ago
• EnzymeAD / Enzyme-MLIR-Reverse
  Fork of Enzyme to work on Reverse-Mode Differentiation at the MLIR-level.
  ☆11Updated last year
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 3 months ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated 10 months ago
• jart / matmul
  ☆18Updated 8 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆113Updated this week
• chakravala / Ganja.jl
  Interface for the ganja.js library in Julia
  ☆10Updated 2 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆61Updated 7 months ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆52Updated last year
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆17Updated last year
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 4 months ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆34Updated 6 months ago