https://github.com/algebraicjulia/decapodes.jl
A framework for composing and simulating multiphysics systems
https://github.com/algebraicjulia/cliquetrees.jl
A Julia library for computing tree decompositions and chordal completions of graphs.
https://github.com/algebraicjulia/csetautomorphisms.jl
Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures
https://github.com/algebraicjulia/traitinterfaces.jl
Declare explicit interfaces
https://github.com/algebraicjulia/acsets.jl
ACSets: Algebraic databases as in-memory data structures
https://github.com/algebraicjulia/algebraicjulia.org
Landing page for AlgebraicJulia
https://github.com/algebraicjulia/graphicallinearalgebra.jl
Theories of linear algebra and graphical linear algebra
https://github.com/algebraicjulia/decapodes-benchmarks
Benchmarks, results, and software for our paper on computational physics
https://github.com/algebraicjulia/statisticaltheories.jl
Statistical theories and models
https://github.com/algoplexity/algoplexity.github.io
Algorithmic Complexity Blog
https://github.com/algorithmic-alignment-lab/contracts
Formal Contracts for Multi-Agent Reinforcement Learning
https://github.com/alignmentresearch/oauth2-proxy-buildpack
Fork of https://github.com/cfra/heroku-buildpack-oauth2-proxy for internal use
https://github.com/alignmentresearch/leela-zero
Go engine with no human-provided knowledge, modeled after the AlphaGo Zero paper.
https://github.com/alignmentresearch/alpaca-lora
Instruct-tune LLaMA on consumer hardware
