Lists (1)
Starred repositories
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
Gazelle is a Bazel build file generator for Bazel projects. It natively supports Go and protobuf, and it may be extended to support new languages and custom rule sets.
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
A list of Free Software network services and web applications which can be hosted on your own servers
Simple example of video stitching using opencv sticher module
📚 Collaborative cheatsheets for console commands
An uroboros program with 100+ programming languages
a fast, scalable, multi-language and extensible build system
An implementation of differential dataflow using timely dataflow on Rust.
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
Various Dockerfiles I use on the desktop and on servers.
An enterprise-class UI design language and React UI library
A collection of small bash scripts for heavy terminal users
A brief computer graphics / rendering course
A simple zero-config tool to make locally trusted development certificates with any names you'd like.
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP, DNS, Elastic, Network, Virtualization. DevOps Interview Questions
Run compilers interactively from your web browser and interact with the assembly
A minimalistic blockchain consensus implemented and verified in Coq
A Learning Environment for Theorem Proving with the Coq proof assistant
EasyCrypt: Computer-Aided Cryptographic Proofs
Formal verification of the Algorand consensus protocol
Smart contracts which are formally verified
Official electron build of draw.io