zkSync era

Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.

Logging implementation for Rust

A fancy diagnostics & error reporting crate

NIx Language server, an incremental analysis assistant for writing in Nix.

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

An execution engine for Wireshark-like filters

Core contracts: reference staking pool, lockup, voting, whitelist, multisig.

Circuit Implementation of zkVM for zkSync Era

A machine learning library for Python and Rust, for PyTorch, Tensorflow and SKLearn models

A Rust OneNote file parser

An intel PT trace converter from `perf.data` to Fuchsia trace format.

Convert OneNote files to HTML

A small crate for hashing multi sets

Convert a .one (OneNote) file into .xopp (Xournal++)