rozbb

followers

following

stars

https://mrosenberg.pub

Michael Rosenberg's starred repositories

neovim

Vim-fork focused on extensibility and usability

Language:Vim ScriptNOASSERTION78922 984 11321

jellyfin

The Free Software Media System

Language:C#GPL-2.031106 318 5976

wasm-bindgen

Facilitating high-level interactions between Wasm modules and JavaScript

Language:RustApache-2.07388 102 1891

alternative-front-ends

Overview of alternative open source front-ends for popular internet platforms (e.g. YouTube, Twitter, etc.)

AGPL-3.06465 82 154

trafilatura

Python & command-line tool to gather text on the Web: web crawling/scraping, extraction of text, metadata, comments

Language:PythonApache-2.03077 30 325

ProxiTok

Open source alternative frontend for TikTok made using PHP

Language:PHPAGPL-3.01741 26 186

bookreader

The Internet Archive BookReader

Language:JavaScriptAGPL-3.0944 48 317

NFCPassportReader

NFCPassportReader for iOS 13

Language:SwiftMIT722 45 166

ableplayer

fully accessible cross-browser HTML5 media player.

Language:JavaScriptNOASSERTION703 49 460

Nova

Nova: High-speed recursive arguments from folding schemes

Language:RustMIT665 25 42

effing-mad

Algebraic effects for Rust

Language:Rust565 14 2

aquatic

High-performance open BitTorrent tracker (UDP, HTTP, WebTorrent)

Language:RustApache-2.0460 8 27

fetch-progress-indicators

Progress indicators/bars using Streams, Service Workers, and Fetch APIs

Language:HTMLMIT339 10 14

passport-reader

e-Passport NFC Reader Android app

Language:Java320 24 44

swanky

A suite of rust libraries for secure multi-party computation

Language:RustMIT247 11 16

dryoc

Don't Roll Your Own Crypto: pure-Rust, hard to misuse cryptography library

Language:RustLGPL-3.0242 5 11

C2SP

Community Cryptography Specification Project

Language:PythonNOASSERTION238 24 29

PQCrypto-LWEKE

FrodoKEM: Learning with Errors Key Encapsulation. FrodoKEM is a family of key-encapsulation mechanisms that are designed to be conservative yet practical post-quantum constructions whose security derives from cautious parameterizations of the well-studied learning with errors problem.

Language:CMIT110 15 12

SolRsaVerify

Solidity RSA Sha256 Pkcs1 Verification

Language:SolidityGPL-3.081 6 10

reverie

An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.

Language:RustAGPL-3.057 28 5

serde-big-array

Big array helper for serde

Language:RustNOASSERTION54 7 13

bellman-bignat

Multiprecision arithmetic & RSA accumulators, within SNARKs

Language:RustNOASSERTION50 6 1

warp-cors

warp-cors is a proxy server which enables CORS for the proxied request

Language:RustMIT34 2 7

exact-SCIP

A development version of the numerically exact variant of MIP solver SCIP

VIPR

Verifying Integer Programming Results

Language:C++8 60

kindle-clippings-zotero

parsing and exporting kindle clippings, as well as syncing with zotero

Language:PythonGPL-3.07 3 1

legogro16

LegoGroth16 implementation on top of Zexe

Language:RustApache-2.02 10

decree

Decree Fiat Shamir Library

Language:RustApache-2.02 2 6

amaze

Experimental Rust implementation of Asymmetric Message Franking

Language:RustApache-2.01 1 1

pcd

Implementations of proof-carrying data

Language:Rust1 10