A distributed approximate nearest neighborhood search (ANN) library which provides a high quality vector index build, search and distributed online serving toolkits for large scale vector search sc…

G2SAT: Learning to Generate SAT Formulas

A code rewrite tool for structural search and replace that supports ~every language.

extract math latex from content in arxiv

Efficiently create compact tree layouts in Java

The Grammatical Logical Inference Framework

A framework for checking math equations etc. in LaTeX documents and annotation of correctness.

A repository for some of the code I used in kaggle data science & machine learning tasks.

Dump data from Twitter's public API.

A modern Prolog implementation written mostly in Rust.

A-C implementation in "C". Tight-packed (interleaved) state-transition matrix -- as fast as it gets, as small as it gets.

Rapid fuzzy string matching in Python using various string metrics

A Python library that generates static type annotations by collecting runtime types

A Python to Typescript Interface Generator

A static type analyzer for Python code

Instructions and license for Detexify's sample data

Simple unit testing for C

A Bestiary of Single-File Implementations of Programming Languages

An Open-Source Collection of Flash Cards to Help You Preparing Your Algorithms & Data Structures and System Design Interviews 💯

A Parser Combinator library for C

Read and extract text and other content from PDFs in C# (port of PDFBox)

Principles to help you design and deploy a zero trust architecture

Digital Geometry Tools and Algorithm Library

TypeDB: Built for systems, not records

OCaml project generator.

An analysis tool for Python that blurs the line between testing and type systems.

Transforms PDF, Documents and Images into Enriched Structured Data

💥 Fast State-of-the-Art Tokenizers optimized for Research and Production

Jupyter Notebook for a course on how to use Python in competitive programming