Stars
Applied Cryptography Course at the American University of Beirut
Toolkit for linearizing PDFs for LLM datasets/training
Implementation of Nougat Neural Optical Understanding for Academic Documents
OCR & Document Extraction using vision models
An Open-Source Python3 tool with SMALL models for recognizing layouts, tables, math formulas (LaTeX), and text in images, converting them into Markdown format. A free alternative to Mathpix, empowe…
pix2tex: Using a ViT to convert images of equations into LaTeX code.
Enhance Tesseract OCR output for scanned PDFs by applying Large Language Model (LLM) corrections.
Reverse engineered Linux driver for the Apple Neural Engine (ANE).
Ramalama is an open-source tool that simplifies the local use and serving of AI models for inference from any source through the familiar approach of containers.
Nova: High-speed recursive arguments from folding schemes
ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
A curated list of zero-knowledge folding schemes
zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the…
Experimental folding schemes library
Cairo is the first Turing-complete language for creating provable programs for general computation.
Tesseract Open Source OCR Engine (main repository)
mkdocs plugin for reactive and interactive docs with marimo
A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. All in a modern, AI-native editor.
Make your zero-knowledge applications safe with formal verification! 🍀
Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reusability
Continuous Profiling Platform. Debug performance issues down to a single line of code