Stars
jendeley is a JSON-based document organizing software.
🌎 A completely free and open interplanetary-microblogging platform 🚀
Low-Level Software Security for Compiler Developers
A multiple parties joint, distributed execution engine based on Ray, to help build your own federated learning frameworks in minutes.
Implementations of various type systems in OCaml.
A unified framework for privacy-preserving data analysis and machine learning
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Sodiumoxide's libsodium-sys crate, but that installs stable versions of libsodium.
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
Questions to ask the company during your interview
🔰 SECCON Beginners CTF 2022 Satoki問 Writeups
A collection of loading spinners animated with CSS
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate …
A list of Free Software network services and web applications which can be hosted on your own servers
VSCode devcontainer for developing MikanOS
Cotowali support for Visual Studio Code that provide syntax highlighting and indentation.
Automatically apply the suggestions made by rustc
The CLI tool to fix huge number of ESLint errors
Write expressive, high-performance parsers with ease.
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
Hypothesis-like property testing for Rust
Inline Python code directly in your Rust code
Interactively Visualizing Ownership and Borrowing for Rust
Generate OCaml bindings from TypeScript definitions via the TypeScript compiler API
A quick reference guide for the Pythonista in the process of becoming a Rustacean