AtticusKuhn's Stars
leanprover-community/lean4game
Server to host lean games.
SeungheonOh/conf
NixOS Configuration. Third time's the charm.
ddavness/power-mailinabox
A Mail-in-a-Box with extra capabilities and more customizability. Not just for power users!
terminalnetwork/syncthing-hooks
Runs shell scripts when syncthing folders get updated. 🦉🕗
org-roam/org-roam-ui
A graphical frontend for exploring your org-roam Zettelkasten
org-roam/org-roam
Rudimentary Roam replica with Org-mode
alphapapa/org-ql
A searching tool for Org-mode, including custom query languages, commands, saved searches and agenda-like views, etc.
qfpl/hpython
Haskell language tools for Python
conal/equation-transfer
Transferring equational properties backward through homomorphisms
haskell-effectful/effectful
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
isamert/empv.el
An Emacs media player, media library manager, radio player, YouTube frontend
Z3Prover/z3
The Z3 Theorem Prover
iv-org/invidious
Invidious is an alternative front-end to YouTube
lexi-lambda/eff
🚧 a work in progress effect system for Haskell 🚧
hasura/eff
🚧 a work in progress effect system for Haskell 🚧
MckinleyX/dotfiles
cyruseuros/ewal
tecosaur/emacs-everywhere
Mirror of https://git.tecosaur.net/tec/emacs-everywhere
ggerganov/llama.cpp
LLM inference in C/C++
ollama/ollama
Get up and running with Llama 3.2, Mistral, Gemma 2, and other large language models.
jespercockx/categories
There are many definitions of categories in Agda, but this one is mine.
sm00th/bitlbee-discord
Bitlbee plugin for Discord (http://discordapp.com)
jeetelongname/elfeed-goodies
Various goodies for Elfeed
AtticusKuhn/modularArithmetic
Using the techniques of denotational design for modular arithmetic
kisonecat/math7851
Characteristic class course readings and problem sets
diamondburned/dissent
Tiny native Discord app
kcsmnt0/numbers
numbers as quotient types
TodePond/DreamBerd
perfect programming language
MrEconomical/pong-rl
Policy gradient and Deep Q-Learning neural network agents implemented from scratch in Python with a Pong game environment written in Rust
misohena/org-geolink
Adds geo location link type to org-mode.