oskgo Goto Github PK

cargo-forkdep

Does the initial grunt work to help you develop a patch for one of your dependencies

digital-rain

An emulation of the digital rain visual effect from The Matrix

easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

ec-matrix

EasyCrypt Matrix library with support for arbitrary differently shaped matrices

gaming

Testing strategies in games

hacspec

A specification language for cryptography primitives.

lets-prove-cryptography

Alternative to lets-prove-leftpad for languages without support for dymaically sized lists or strings

lets-prove-leftpad

Proving leftpad correct in a dozen different ways

masonry-rs

Rust UI design toolkit.

master-artifacts

mathlib4

The math library of Lean 4

othello

plotters

A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely 🦀 📈🚀

proc-macro-workshop

Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

project-stable-mir

range-set-blaze

Integer sets as fast, sorted, integer ranges with full set operations

rust

Empowering everyone to build reliable and efficient software.

rustc-dev-guide

A guide to how rustc works and how to contribute to it.

rwslice

Contains an implementation of a datastructure that allows simultaneous writing and reading from a single slice by splitting it in two

safe-goto

theorem_proving_in_lean4

Theorem Proving in Lean 4

tokio-tungstenite

Future-based Tungstenite for Tokio. Lightweight stream-based WebSocket implementation

transmute-buffer

Adds APIs for efficient buffer reuse on different types

typst

A new markup-based typesetting system that is powerful and easy to learn.