PDF Parser for AI-ready data. Automate PDF accessibility. Open-source.

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

A tiny experimental language designed to be targeted by coding LLMs

Local AI assistant, dreaming explorable worlds.

🌱Light and powerful C++ web framework for highly scalable and resource-efficient web application. It's zero-dependency and easy-portable.

A C++20 concepts library, providing container concepts etc.

A book about compiling Racket and Python to x86-64 assembly

A high-throughput and memory-efficient inference and serving engine for LLMs

A C++11 library for serialization

Demo for high-performance type theory elaboration

C++ genetic algorithms scientific library

A "code intepreter" for Lean

Open Source Continuous File Synchronization

Abstract algebra for Rust.

CaDiCaL SAT Solver

Embedded Scheme for the Rust Ecosystem

N-dimensional RTree implementation in C++

The core implementation of the Acorn language.

Acorn's standard library of mathematical facts.

This is a simple but robust FastAPI project ready for your startup!

Accelerate your web app development | Build fast. Run fast.

⚙️🦀 Build modular and scalable LLM Applications in Rust

Python tool for converting files and office documents to Markdown.

how to optimize some algorithm in cuda.

30 C Compiler

A general-purpose lightweight C++ graph library