AtticusKuhn's Stars
kickingvegas/cclisp
Emacs configuration files for Charles Choi
monadicsystems/realworld
mistralai/mistral-finetune
clojure-emacs/cider
The Clojure Interactive Development Environment that Rocks for Emacs
seanhess/hyperbole
Haskell interactive serverside web framework inspired by HTMX
jimeh/.emacs.d
My personal Emacs config with any quirks, oddities, bugs, and man-eating errors I live with on a daily basis.
explorable-viz/fluid
Data-linked visualisations
conal/OpenLogic
An open-source, customizable intermediate logic textbook
JonasHoefer/scoped-effects-agda
An implementation of scoped algebraic effects and handlers in Agda.
mckaywrigley/clarity-ai
Come join the best place on the internet to learn AI skills. Use code "clarityai" for an extra 20% off.
ItzCrazyKns/Perplexica
Perplexica is an AI-powered search engine. It is an Open source alternative to Perplexity AI
UlfNorell/insane
Toy typechecker for Insanely Dependent Types
tadfisher/android-nixpkgs
Nix-packaged Android SDK
intel/openvino-ai-plugins-gimp
GIMP AI plugins with OpenVINO Backend
akalenuk/the_namingless_programming_language
Naming is hard. How far can we go without?
karpathy/llm.c
LLM training in simple, raw C/CUDA
hhu-adam/Robo
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
LeifAndersen/PLGradSchools
neurallambda/awesome-reasoning
a curated list of data for reasoning ai
riccardobrasca/flt3
Proof in Lean of Fermat Last Theorem for exponent 3
openai/simple-evals
joeycastillo/The-Open-Book
andreasabel/agda-automata
Formalisation of automata in Agda
bbatsov/crux
A Collection of Ridiculously Useful eXtensions for Emacs
VictorTaelin/ab_challenge_eval
Evaluator for the A::B Prompting Challenge
ionathanch/parapoly
A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
lecopivo/SciLean
Scientific computing in Lean 4
GabOpenSource/gab-social
Repo for archive release of gab social
tatut/pgprolog
PostgreSQL Prolog language handler
tdlib/td
Cross-platform library for building Telegram clients