Julian
Follow
Learning
egg is a flexible, high-performance e-graph library
The Best Practices for OSS Developers working group is dedicated to raising awareness and education of secure code best practices for open source developers.
additional functionality via binary patching
Proving leftpad correct two-dozen different ways
A minimal unprivileged process supervisor making use of modern Linux features
🦀 Small exercises to get you used to reading and writing Rust code!
Fetch an academic paper or web article and send it to the reMarkable tablet with a single command
An introduction to programming language theory in Agda
Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
An introduction to ARM64 assembly on Apple Silicon Macs
A curated list of projects related to the reMarkable tablet
A community-maintained Python framework for creating mathematical animations.
The Complex Number Game. Make the complex numbers in Lean.
A curated list of insanely awesome libraries, packages and resources for Quants (Quantitative Finance)
Consolidated view of all your chess games from chess.com, lichess, grandmaster games or custom pgn.
A toolkit for reproducible reinforcement learning research.
The Illustrated TLS 1.2 Connection: Every byte explained
An educational resource to help anyone learn deep reinforcement learning.
A very minimal implementation of the core idea of Hypothesis
A Python 3 library for generating Anki decks
newspaper3k is a news, full-text, and article metadata extraction in Python 3. Advanced docs:
experiments in building tiny tracing JITs in various languages (Prolog to start)