Beast code in Giters

Ivan Mikushin's starred repositories

excalidraw

Virtual whiteboard for sketching hand-drawn like diagrams

Language:TypeScriptMIT7467300

crab

A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!

Language:RustNOASSERTION511100

jolt

The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡

Language:RustMIT54500

quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Language:TypeScriptApache-2.059400

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Language:RustNOASSERTION3507500

ciborium

CBOR utilities

Language:RustNOASSERTION20700

FiraCode

Free monospaced font with programming ligatures

Language:ClojureOFL-1.17567000

⚠️ Maintenance suspended. Please, migrate to the active fork reconciler.io/runtime. See https://github.com/reconcilerio/runtime/releases/tag/v0.20.0 for instructions. This repository will be archived eventually.

Language:GoNOASSERTION8200

zkbitcoin

zkBitcoin: zero-knowledge proofs on Bitcoin!

Language:RustMIT15900

rust-bitcoin

Rust Bitcoin library

Language:RustCC0-1.0192800

curvesearch

Elliptic curve search experiments

Language:SageMIT3500

penpot

Penpot: The open-source design tool for design and code collaboration

Language:ClojureMPL-2.02840900

wazero

wazero: the zero dependency WebAssembly runtime for Go developers

Language:GoApache-2.0460700

proptest

Hypothesis-like property testing for Rust

Language:RustApache-2.0159600

SEAL

Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

Language:C++MIT341400

afl.rs

🐇 Fuzzing Rust code with American Fuzzy Lop

Language:RustApache-2.0157600

cargo-fuzz

Command line helpers for fuzzing

Language:RustApache-2.0146000

AFLplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

Language:CApache-2.0471500