Pinned Repositories
colloquium1
colloquium2
colloquium3
compiler-workout
Supplementary repository for compiler course
conan
Conan - The open-source C/C++ package manager
conan-center-index
Recipes for the ConanCenter repository
craftr
Meta build system based on Ninja and Python
dkvs
Multipaxos-based distributed key-value storage.
dynamic-connectivity
Implementation of dynamic connectivity online
exam0
alex-700's Repositories
alex-700/dynamic-connectivity
Implementation of dynamic connectivity online
alex-700/colloquium2
alex-700/colloquium3
alex-700/compiler-workout
Supplementary repository for compiler course
alex-700/conan
Conan - The open-source C/C++ package manager
alex-700/conan-center-index
Recipes for the ConanCenter repository
alex-700/craftr
Meta build system based on Ninja and Python
alex-700/dkvs
Multipaxos-based distributed key-value storage.
alex-700/exam0
alex-700/exam2
alex-700/exercism-rust-solutions
alex-700/fbthrift
Facebook's branch of Apache Thrift, including a new C++ server.
alex-700/folly
An open-source C++ library developed and used at Facebook.
alex-700/formal_arithmetic
Verifier and deductor for propositions in Formal Arithmetic
alex-700/heap
alex-700/json
JSON for Modern C++
alex-700/lesson6
alex-700/lesson7
alex-700/lesson8
alex-700/mathlogic
Verifier, deductor and prover for propositions in propositional calculus.
alex-700/ml-project
alex-700/non-dominated-sorting
This repo contains implementations of algorithms for non-dominated sorting and a benchmarking suite.
alex-700/nr-deprecated
DEPRECATED. Slowly getting chunked up into separate packages. All of this repositorie's contents can also be found in the nr repository.
alex-700/os_homeworks
alex-700/parser_generator
LL grammar parser generator
alex-700/ruff
An extremely fast Python linter and code formatter, written in Rust.
alex-700/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
alex-700/simple-java-analyzer
alex-700/TCP
alex-700/units
A compile-time enabled Modern C++ library that provides compile-time dimensional analysis and unit/quantity manipulation.