salabim - discrete event simulation

(ICRA 2026) Volumetric Ergodic Control

This project implements a full geostatistical modelling pipeline for estimating grade-tonnage distributions from drillhole geochemical data.

A curated collection of public industrial datasets.

Partially Observable Process Gym

Interface for defining discrete and continuous-space MDPs and POMDPs in python. Compatible with the POMDPs.jl ecosystem.

Implementation of Flow Density Control (NeurIPS 2025, arxiv.org/abs/2511.22640)

Lean 4 formalization of Bach (2024) Learning Theory from First Principles, built on Mathlib

Core Mathematical Functions for Multi-Objective Optimization

Open WebUI Desktop 🌐

A suite of MCP servers that enables an LLM to orchestrate specialized services to generate travel itineraries, find flights and accommodations, discover local events, analyze weather conditions and…

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

The simplest, fastest repository for training/finetuning medium-sized GPTs.

An autoregressive character-level language model for making more things

[JMLR 2026] "UQLM: A Python Package for Uncertainty Quantification in Large Language Models"

MDPs and POMDPs in Julia - An interface for defining, solving, and simulating fully and partially observable Markov decision processes on discrete and continuous spaces.

Amadeus MCP(Model Context Protocol) Server

Run LLM models using Intel OpenVINO GenAI engine

Return of the Latent Space COWBOYS

Robust neural network surrogate for inertial confinement fusion

Firefly III: a personal finances manager

Access large language models from the command-line

Reference implementation for "Infinite Neural Operators: Gaussian processes on functions" (NeurIPS 2025)

Lean Theorem Prover MCP

Lean 4 programming language and theorem prover

🎨 NeMo Data Designer: Generate high-quality synthetic data from scratch or from seed data.