Pinned Repositories
DefinitelyTyped
The repository for high quality TypeScript type definitions.
gopass
The slightly more awesome standard unix password manager for teams
agnoster-zsh-theme
A ZSH theme designed to disclose information contextually, with a powerline aesthetic
rasp
Design and Development of a consensus algorithm on embedded systems with Raft & ESP8266
mu
Mu: Microsecond Consensus for Microsecond Applications
bft_simulation
Simulation for BFT protocols in the presence of dynamic link failures
sympy
A computer algebra system written in pure Python
kristianmitk's Repositories
kristianmitk/rasp
Design and Development of a consensus algorithm on embedded systems with Raft & ESP8266
kristianmitk/agnoster-zsh-theme
A ZSH theme designed to disclose information contextually, with a powerline aesthetic
kristianmitk/book
The Rust Programming Language
kristianmitk/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
kristianmitk/comtravo.github.io
Comtravo tech blog
kristianmitk/CS453-2019-project
CS453 - Course project
kristianmitk/DefinitelyTyped
The repository for high quality TypeScript type definitions.
kristianmitk/fullstack
React/ApolloGraphQL/Node/Mongo demo written in Typescript
kristianmitk/INLP_neural_practical_session
Text Classification practical session (EPFL CS431 : Introduction to NLP course)
kristianmitk/monokai-vibrant-classic
A very dark and overly vibrant Monokai theme for VS Code with italicized keywords and operators.
kristianmitk/open-taskpool
12,000 UK 🇺🇦 → DE 🇩🇪 learning tasks ready for you to use.
kristianmitk/raft.github.io
website at https://raft.github.io
kristianmitk/rdma_bench
A framework to understand RDMA
kristianmitk/spdlog
Fast C++ logging library.
kristianmitk/the-algorithm
Source code for Twitter's Recommendation Algorithm