jeremyephron

Jeremy Ephron Barenholtz's starred repositories

A bootloader and experimentation playground for Apple Silicon

Language:PythonMIT343000

Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

Language:Lean10900

plasTeX plugin to build formalization blueprints.

Language:PythonApache-2.012100

The code for our newly accepted paper in Pattern Recognition 2020: "U^2-Net: Going Deeper with Nested U-Structure for Salient Object Detection."

Language:PythonApache-2.0822800

:pencil: Extend git commit message from angular style

Language:JavaScriptMIT40800

Language:PythonBSD-3-Clause600

Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks

Language:C++Apache-2.01863200

SimpleBLE - the all-in-one Bluetooth library for MacOS, iOS, Windows, and Linux.

Language:C++NOASSERTION60100

n³ The unorthodox terminal file manager

Language:CBSD-2-Clause1837700

A library for efficient similarity search and clustering of dense vectors.

Language:C++MIT2885200

👩‍🏫🐍 Starter repo for building interactive Python courses

Language:CSSMIT50300

😎 Awesome lists about all kinds of interesting topics

CC0-1.030580300

A collection of (mostly) technical things every software developer should know about

CC-BY-4.07717000

Apps/CLIs/configs I use on macOS/iOS. Fish, Karabiner, Cursor..

Language:ShellMIT2035700

What the f*ck Python? 😱

Language:PythonWTFPL3527100

🖥 📊 🕹 🛠 A curated list of command line apps

Language:Shell1403800