d-suvorov's Stars
codecrafters-io/build-your-own-x
Master programming by recreating your favorite technologies from scratch.
donnemartin/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
practical-tutorials/project-based-learning
Curated list of project-based tutorials
ytdl-org/youtube-dl
Command-line program to download videos from YouTube.com and other video sites
yangshun/tech-interview-handbook
💯 Curated coding interview preparation materials for busy software engineers
papers-we-love/papers-we-love
Papers from the computer science community to read and discuss.
hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
pervognsen/bitwise
Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.
aragozin/jvm-tools
Small set of tools for JVM troublshooting, monitoring and profiling.
JetBrains/intellij-platform-plugin-template
Template repository for creating plugins for IntelliJ Platform
soot-oss/soot
Soot - A Java optimization framework
FStarLang/FStar
A Proof-oriented Programming Language
TailorDev/Watson
:watch: A wonderful CLI to track your time!
concurrencykit/ck
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.
mcostalba/Stockfish
UCI chess engine
cbeust/klaxon
A JSON parser for Kotlin
INRIA/spoon
Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.
plfa/plfa.github.io
An introduction to programming language theory in Agda
wala/WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
ivanperez-keera/Yampa
Functional Reactive Programming domain-specific language for efficient hybrid systems
Kotlin/kotlin-spec
Kotlin Language Specification:
Boolector/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
antalsz/hs-to-coq
Convert Haskell source code to Coq source code
protoship/learn-reasonml-workshop
Learn ReasonML with 24 exercises. No prior functional programming knowledge required.
ff-notes/ff
A distributed note taker and task manager.
sosy-lab/sv-benchmarks
Collection of Verification Tasks (MOVED, please follow the link)
dreal/dreal4
Automated Reasoning in Nonlinear Theories of Reals
mbuzdalov/latex-styles
LaTeX styles for different purposes.
ekmett/ersatz
A monad for interfacing with external SAT solvers
johnwickerson/memalloy
Memory consistency modelling using Alloy