RAGFlow is an open-source RAG (Retrieval-Augmented Generation) engine based on deep document understanding.

🎓 Path to a free self-taught education in Computer Science!

The "batteries included" extended library for the Lean programming language and theorem prover

A stream-based runtime-verification framework for generating hard real-time C code.

LLMs as Copilots for Theorem Proving in Lean

tool for turning Lean proofs into Blender animations

An introduction to programming language theory in Agda

Source code of Seed7

Hierarchical Music Specification Language, Forth tools for experimental music from the 1980's

Tool for data extraction and interacting with Lean programmatically.

A dataframe library with a dplyr like API

Lean course materials for Brown CS 22, Spring 2023

The math library of Lean 4

Functional teaching language for use in a discrete mathematics course

A toolkit for developing and comparing reinforcement learning algorithms.

A collection of AppleScripts for use with Capture One

⚡ Datoviz: high-performance GPU scientific data visualization C/C++/Python library

a practical Scheme compiler

🔥 A cross-platform build utility based on Lua

Efficient reliable UDP unicast, UDP multicast, and IPC message transport

Latency benchmarks for messaging

Official repo for the #tidytuesday project

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Simple Binary Encoding (SBE) - High Performance Message Codec

Artio - Resilient High-Performance FIX and FIXP Gateway

High Performance data structures and utility methods for Java

Advanced and Fast Data Transformation in R

A Grammar of Graphics for Python