AlgebraicJulia/AlgebraicRewriting.jl

Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.

GitHub repository with 39 stars and 8 forks.

Language: Julia

Topics: category-theory, declarative-programming, rewrite-systems

Open provider repository

Latest metric snapshot

2026-06-05: 39 stars and 8 forks.

Trending in Julia

  1. 1. JuliaHEP/UnROOT.jl

    Native Julia I/O package to work with CERN ROOT files objects (TTree and RNTuple)

    GitHub repository with 122 stars and 20 forks.

    Trending score: 0.87; stars gained: +4; forks gained: +0.

    Language: Julia

    Topics: cern-root, julia, particle-physics, hep, high-energy-physics, hacktober

  2. 2. timholy/claude_config

    Configuration files for claude code

    GitHub repository with 34 stars and 9 forks.

    Trending score: 0.49; stars gained: +2; forks gained: +1.

    Language: Julia

  3. 3. NumericalEarth/NumericalEarth.jl

    🌎 A framework for simulating the Earth system at all scales with prescribed or prognostic atmosphere, ocean, sea ice and land components

    GitHub repository with 36 stars and 9 forks.

    Trending score: 0.33; stars gained: +1; forks gained: +1.

    Language: Julia

  4. 4. spine-tools/SpineOpt.jl

    A highly adaptable modelling framework for multi-energy systems

    GitHub repository with 79 stars and 22 forks.

    Trending score: 0.29; stars gained: +0; forks gained: +0.

    Language: Julia

    Topics: energy, modelling-framework, julia-language, electricity, energy-system-modelling, energy-systems

  5. 5. ITensor/ITensors.jl

    A Julia library for efficient tensor computations and tensor network calculations. ITensors.jl is supported by the Simons Foundation's Flatiron Institute.

    GitHub repository with 671 stars and 142 forks.

    Trending score: 0.27; stars gained: +0; forks gained: +0.

    Language: Julia

    Topics: tensors, tensor-decomposition, tensor-networks, dmrg, matrix-product-states, physics

  6. 6. LuxDL/Lux.jl

    Elegant and Performant Deep Learning

    GitHub repository with 706 stars and 84 forks.

    Trending score: 0.26; stars gained: +0; forks gained: +0.

    Language: Julia

    Topics: deep-learning, machine-learning, neural-networks, gpu, scientific-machine-learning, tpu

Trending topic: category-theory

  1. 1. replikativ/katzen

    Generalized algebraic theories and categorical programming for Clojure.

    GitHub repository with 8 stars and 0 forks.

    Trending score: 0.50; stars gained: +2; forks gained: +0.

    Language: Clojure

    Topics: algebraic-data-types, category-theory, clojure, verification

  2. 2. sderosiaux/every-single-day-i-tldr

    A daily digest of the articles or videos I've found interesting, that I want to share with you.

    GitHub repository with 331 stars and 18 forks.

    Trending score: 0.04; stars gained: +0; forks gained: +0.

    Topics: technology, watch, scala, javascript, java, bigdata

  3. 3. hghalebi/category_theory_transformer_rs

    Tiny ML, Rust types, and category theory, executable structure, not AI magic.

    GitHub repository with 105 stars and 8 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Rust

    Topics: category-theory, learning-by-building, machine-learning, rust, type-systems, ai-engineering