Stars
This Guidance shows how to deploy a secure, scalable, and cost-efficient blockchain key management solution for blockchain validation workloads like Ethereum 2.0 proof-of-stake networks.
🤖 Machine Learning Summer School deadlines
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
Smithy code generators for TypeScript. (in development)
GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.
Certified Kubernetes Administrator - CKA Course
An experiment in using literate programming to write a static analysis tool in Rust
JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Cross-platform, cross-blockchain wallet library.
Smithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.
Scans all the SMS of an Android device for any known domain that is related with the spyware Predator by Cytrox / Intellexa.
A collection of blog posts and links that talk about how to successfully use Rust.
Course Material & Preparation from the Female Code Lab
List of Computer Science courses with video lectures.
Mastering Bitcoin 3rd Edition - Programming the Open Blockchain
Interpreter for a simple imperative language called IPL
RTEC is an Event Calculus implementation optimised for stream reasoning