Lucas Alava Peña's repositories
continuity
Drop-in replacement for AutoModerator schedule on Reddit
cpython
The Python programming language
Language:PythonNOASSERTION000
DeepMind-AtHomeWithAI
#AtHomeWithAI resource sharing posts from https://www.linkedin.com/company/deepmind/
Language:Rust000
Language:TeX000
cryptography-pals
Messy solutions to https://www.cryptopals.com
Language:Rust000
Language:Python000
Language:JavaScript000
Git_Notes
Git Notes
000
igraph
Library for the analysis of networks
Language:CGPL-2.0000
ivy
The Unified Machine Learning Framework
Language:PythonNOASSERTION000
logical-foundations
exercises from https://softwarefoundations.cis.upenn.edu/lf-current/index.html
Language:CoqMIT000
lucasalavapena.github.io
Hi there
Language:HTML000
Language:Assembly000
Language:C000
Language:Python000
quantities.rs
Unit-safe computations with quantities.
BSD-3-Clause000
Language:RustMIT000