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
  ☆104Updated this week
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆93Updated last week
• MilesCranmer / BorrowChecker.jl
  A borrow checker for Julia
  ☆77Updated last week
• louisponet / Overseer.jl
  Entity Component System with julia
  ☆61Updated 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.
  ☆13Updated 8 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆84Updated this week
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated last month
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆17Updated 2 years ago
• abrudz / dyalog_vision
  A realistic future development for the core language of Dyalog APL
  ☆11Updated last month
• Brian-ED / rayed-bqn
  Raylib with a bit of bacon spice!
  ☆37Updated 2 weeks ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆55Updated this week
• mlochbaum / bqncrate
  A derivative approach to finding your way in BQN
  ☆37Updated this week
• JuliaLLVM / MLIR.jl
  Julia library to manipulate MLIR dialects.
  ☆58Updated 2 months ago
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆30Updated 10 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆65Updated last month
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆25Updated this week
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆67Updated 7 years ago
• codereport / jello
  A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.
  ☆56Updated 3 weeks ago
• chakravala / Ganja.jl
  Interface for the ganja.js library in Julia
  ☆10Updated 2 years ago
• JuliaSymbolics / TermInterface.jl
  Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert
  ☆37Updated 2 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• EnzymeAD / Enzyme-MLIR-Reverse
  Fork of Enzyme to work on Reverse-Mode Differentiation at the MLIR-level.
  ☆11Updated last year
• ashermancinelli / cxbqn
  BQN virtual machine
  ☆31Updated 11 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 2 months ago
• HarrisonGrodin / Rewrite.jl
  An efficient symbolic term rewriting engine
  ☆77Updated 4 years ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆98Updated last year
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 2 years ago
• rikhuijzer / xrcf
  A modern library for building production-grade compilers
  ☆17Updated last week