AtticusKuhn's Stars
huggingface/transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
CompVis/stable-diffusion
A latent text-to-image diffusion model
phoenixframework/phoenix
Peace of mind from prototype to production
joeycastillo/The-Open-Book
tdlib/td
Cross-platform library for building Telegram clients
openai/grok
daveshap/OpenAI_Agent_Swarm
HAAS = Hierarchical Autonomous Agent Swarm - "Resistance is futile!"
woutdp/live_svelte
Svelte inside Phoenix LiveView with seamless end-to-end reactivity
bbatsov/crux
A Collection of Ridiculously Useful eXtensions for Emacs
daveshap/SparsePrimingRepresentations
Public repo to document some SPR stuff
emacs-citar/citar
Emacs package to quickly find and act on bibliographic references, and edit org, markdown, and latex academic documents.
refaktor/rye
homoiconic dynamic programming language with some new ideas
augustss/MicroHs
Haskell implemented with combinators
lecopivo/SciLean
Scientific computing in Lean 4
leanprover-community/aesop
White-box automation for Lean 4
tatut/pgprolog
PostgreSQL Prolog language handler
HigherOrderCO/hvm-lang
VictorTaelin/interaction-calculus-of-constructions
A minimal proof checker.
VictorTaelin/ab_challenge_eval
Evaluator for the A::B Prompting Challenge
ionathanch/parapoly
A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
Millak/my-guix
local guix packages
andreasabel/agda-automata
Formalisation of automata in Agda
sseefried/learning-agda
Sean Seefried learns Agda
robsimmons/twelf-wasm
Run Twelf in the browser with wasm and WASI
arianvp/types-and-statemachines
Research project about types and state machines, and their applications in HTTP
GabOpenSource/gab-social
Repo for archive release of gab social
AtticusKuhn/multi-notes
my notes for multivariable calculus
AtticusKuhn/agda-category-theory
I am using Agda to formalise category theory
jkopanski/felix-algebra
Algebraic structures for use with Felix
MartinSpiessl/zilu