Highlights
Stars
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…
A code rewrite tool for structural search and replace that supports ~every language.
extract math latex from content in arxiv
A framework for checking math equations etc. in LaTeX documents and annotation of correctness.
armandleopold / graphexp
Forked from bricaud/graphexpInteractive visualization of the Gremlin graph database with D3.js
A repository for some of the code I used in kaggle data science & machine learning tasks.
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
Instructions and license for Detexify's sample data
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 💯
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
TypeDB: the power of programming, in your database
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