rozbb

followers

following

stars

https://mrosenberg.pub

Michael Rosenberg's starred repositories

neovim

Vim-fork focused on extensibility and usability

Language:Vim ScriptNOASSERTION76316 984 11083

jellyfin

The Free Software Media System

Language:C#GPL-2.029570 316 5627

wasm-bindgen

Facilitating high-level interactions between Wasm modules and JavaScript

Language:RustApache-2.07251 101 1868

alternative-front-ends

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

AGPL-3.06229 80 153

trafilatura

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

Language:PythonApache-2.02744 29 297

ProxiTok

Open source alternative frontend for TikTok made using PHP

Language:PHPAGPL-3.01698 27 182

bookreader

The Internet Archive BookReader

Language:JavaScriptAGPL-3.0928 47 315

larynx

End to end text to speech system using gruut and onnx

Language:PythonMIT822 23 71

NFCPassportReader

NFCPassportReader for iOS 13

Language:SwiftMIT707 45 154

ableplayer

fully accessible cross-browser HTML5 media player.

Language:JavaScriptNOASSERTION697 49 459

Nova

Nova: High-speed recursive arguments from folding schemes

Language:RustMIT637 25 39

effing-mad

Algebraic effects for Rust

Language:Rust556 14 2

aquatic

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

Language:RustApache-2.0449 8 24

fetch-progress-indicators

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

Language:HTMLMIT330 10 14

passport-reader

e-Passport NFC Reader Android app

Language:Java309 24 44

swanky

A suite of rust libraries for secure multi-party computation

Language:RustMIT241 11 16

dryoc

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

Language:RustLGPL-3.0233 5 11

C2SP

Community Cryptography Specification Project

Language:PythonNOASSERTION225 18 20

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:CMIT107 15 12

SolRsaVerify

Solidity RSA Sha256 Pkcs1 Verification

Language:SolidityGPL-3.077 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:RustNOASSERTION48 6 1

warp-cors

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

Language:RustMIT32 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

amaze

Experimental Rust implementation of Asymmetric Message Franking

Language:RustApache-2.01 1 1

pcd

Implementations of proof-carrying data

Language:Rust1 10