Barton Rhodes's repositories
act
building blocks for cognitive category theory
malli
High-performance data-driven data specification library for Clojure/Script.
jank
A Clojure dialect hosted on LLVM with native C++ interop
RecordedTalks
a place to keep info about Women in Logic https://www.womeninlogic.org/
neural-k-forms
Simplicial Representation Learning with Neural k-Forms
Category_Theory_Machine_Learning
List of papers studying machine learning through the lens of category theory
dao-contracts
CosmWasm smart contracts for InterChain DAOs.
yet-another-applied-llm-benchmark
A benchmark to evaluate language models on questions I've previously asked them to solve.
MathPile
Generative AI for Math: MathPile
loungiest
*oink* just a fork to feel anything *oink*
juvix
A language for intent-centric and declarative decentralised applications
Graph-Mamba
Graph-Mamba: Towards Long-Range Graph Sequence Modelling with Selective State Spaces
ProspectsForInconsistencyDetection
Scripts and data supporting "Prospects for inconsistency detection using large language models and sheaves"
WhisperKit
Swift native speech recognition on-device for iOS and macOS applications.
Awesome-GFlowNets
A curated list of resources about generative flow networks (GFlowNets).
zed
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
outlines-mlx
A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX
RxInfer.jl
Julia package for automated Bayesian inference on a factor graph with reactive message passing
cortex
Machine learning in Clojure
olog
log all the ontologies
awesome-neural-geometry
A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond
mistrust
adversarial hypergraph network trust prediction
entropy
a world
color-color
Website to generate color palettes in Okhsl and HSLuv color spaces
gnn_collapse
introducing graph rewriting into [NeurIPS 2023] Official implementation of "A Neural Collapse Perspective on Feature Evolution in Graph Neural Networks"
antigravitas
building a ternary computer Setun-69 because why not