A package for decoding Stim circuits using belief propagation with ordered statistics decoding (BP+OSD)

neovim support for the Lean theorem prover

Replace Copilot local AI

Turn your Android tablet into a second monitor on Linux (extend screen)

auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.

CodiMD - Realtime collaborative markdown notes on all platforms.

EPDiy is a driver board for affordable e-Paper (or E-ink) displays.

A modern commutative diagram editor for the web.

LLMs as Copilots for Theorem Proving in Lean

BertViz: Visualize Attention in NLP Models (BERT, GPT2, BART, etc.)

A basic coding theory library for Julia.

BP+OSD: Belief propagation with ordered statistics post-processing for decoding quantum LDPC codes

banyan's hot on-chain data storage zk proofs

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

The web open source editor for presentations

Nova: Recursive SNARKs without trusted setup

private 1inch

Nova Verifier in Circom so it can be verified onChain

basic circom project using hardhat-circom (upgrade to circom2 is WIP)

Tool for data extraction and interacting with Lean programmatically.

A SvelteKit monorepo starter project powered by Turborepo!

A foundational framework for modular cryptographic proofs in Coq

A machine learning software for extracting information from scholarly documents

`pdfstructure` detects, splits and organizes the documents text content into its natural structure as envisioned by the author.

Convert natural language to LaTeX within Overleaf using LLMs

pix2tex: Using a ViT to convert images of equations into LaTeX code.