Stars
jvns / puddle
Forked from haileys/rustbootA tiny 32 bit kernel written in Rust, for fun
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Porting https://github.com/tomaz1502/RunTimeFormalization to Lean 4
A plugin for Obsidian that provides syntax highlight for Lean.
Persists tmux environment across system restarts.
tomaz1502 / signatures
Forked from CVC4/signaturesProof signatures for CVC4
An editor for functional programming languages (WIP).
A formalization of the run time complexity of Insertion Sort and Merge Sort.
Mutation testing resources: how to make better code by introducing bugs
Study guides for MIT's 15.003 Data Science Tools
VIP cheatsheets for Stanford's CME 106 Probability and Statistics for Engineers
A terminal-based presentation tool with colors and effects.
Interactive roadmaps, guides and other educational content to help developers grow in their careers.
An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"
Uma lista de canais ou cursos sobre tecnologia feitos por mulheres.
😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes
🎓 Path to a free self-taught education in Computer Science!
A huge collection of Rofi based custom Applets, Launchers & Powermenus.
Espaço para a divulgação de vagas para desenvolvedores backend via issues do Github.