Pinned Repositories
advent_of_code
My solutions (currently in C and Haskell) to the Advent of Code!
anki
Anki for desktop computers
anrddh.github.io
My personal (b)log
bolt_lib
cryptopals-hs
dotfiles
All my dotfiles!
fish-shell
The user-friendly command line shell.
LetsMeet
A meeting coordination app for your team
memsight
MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
nightlife_coord
An app to detect nightlife hotspots near your location
anrddh's Repositories
anrddh/fish-shell
The user-friendly command line shell.
anrddh/LetsMeet
A meeting coordination app for your team
anrddh/memsight
MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
anrddh/nightlife_coord
An app to detect nightlife hotspots near your location
anrddh/anrddh.github.io
My personal (b)log
anrddh/book_trading_club
Book trading club
anrddh/commutative-algebra-playground
anrddh/coreutils
upstream mirror
anrddh/covidPlansForFall
Use the The Chronicle of Higher Education data to see patterns in what schools decide for fall 2020
anrddh/cpython
The Python programming language
anrddh/dot-emacs
My Emacs configuration files - mirrored from GitLab
anrddh/dulwich
Pure-Python Git implementation
anrddh/emacs-config
My Emacs configuration. Permanantly WIP.
anrddh/lean-mode
Emacs mode for Lean
anrddh/lftcm2020
Lean for the Curious Mathematician 2020
anrddh/mathlib
Lean mathematical components library
anrddh/MDAPL
The de facto standard for people who are looking to learn Dyalog APL from a book. This updated version is a work in progress.
anrddh/minterest
anrddh/nixpkgs
Nix Packages collection
anrddh/paip-lisp
Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
anrddh/pandoc-sitegen
yet another static site generator based on pandoc
anrddh/practical-python
Practical Python Programming (course by @dabeaz)
anrddh/process-compose
Process Compose is a simple and flexible scheduler and orchestrator to manage non-containerized applications.
anrddh/pydoc
Emacs mode for navigating Python documentation through pydoc.
anrddh/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
anrddh/real-number-game
A gamification of the theorems in MATH40002 Analysis 1
anrddh/TheoryOfCryptography
Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
anrddh/think-kids-certification-program
A Non-profit project partnership project through FreeCodeCamp
anrddh/tutorials
Some Lean tutorials
anrddh/voting_app
A voting app built with the MEAN stack.