#
Lists (15)
Starred repositories
Source Code for 'Pro .NET Memory Management' by Konrad Kokosa
A curated list of awesome .NET Performance books, courses, trainings, conference talks, blogs and most inspiring open source contributors. Inspired by awesome-... stuff.
Automatic SQL injection and database takeover tool
SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, se…
Roadmap and Resource Compilation for System Design Fight Club
Papers from the computer science community to read and discuss.
Solutions for Advent of Code 2023
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
Delta based CRDTs with join decompositions and state diffs
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
Generates an extended OAS with MagmaCt contracts.
MAGMACt language parser built using ANTLR4.
The first open-source AI-driven tool for automatically generating system-level test cases (also known as fuzzing) for web/enterprise applications. Currently targeting whitebox and blackbox testing …
An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices
😸 Soothing pastel theme for the high-spirited!
Slides and Jupyter notebooks for the Deep Learning lectures at Master Year 2 Data Science from Institut Polytechnique de Paris
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
🎄 My Advent of Code solutions in Rust. http://adventofcode.com/2022
💎 🐳 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.
A full featured IDE layer for Neovim. Heavily inspired by VSCode.
C++ library to develop competitive programming problems
Dafny is a verification-aware programming language
A library to generate LaTeX expression from Python code.
A collection of challenge based hack-a-thons including student guide, coach guide, lecture presentations, sample/instructional code and templates. Please visit the What The Hack website at: https:/…