Personal AI Notebooks. Organize files & webpages and generate notes from them. Open source, local & open data, open model choice (incl. local).

(Mirror) S3-compatible object store for small self-hosted geo-distributed deployments. Main repo: https://git.deuxfleurs.fr/Deuxfleurs/garage

C implementation of handlebars.js

Minimal templating on steroids.

PyO3-based bridges between Python and Rust async runtimes

A DSL for writing HTML in Swift

A static site generator written in Swift

assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!

Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels

Patina Firmware

Override and customize Python packages without touching their code

MiniOB is a compact database that assists developers in understanding the fundamental workings of a database.

Heritrix is the Internet Archive's open-source, extensible, web-scale, archival-quality web crawler project.

Python HDFS client

Pure python HDFS client: python3.x version

A pure python HDFS client

A fast, memory-safe web server written in Rust.

🤗 LeRobot: Making AI for Robotics more accessible with end-to-end learning

An online assembly editor, emulator and debugger for the x86-64 architecture

👀 A modern watch command. Time machine and pager etc.

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

Zipkin tracer in python. Integrated in flask, pyramid, celery, requests, ...

Zipkin is a distributed tracing system

Pretty fancy and modern terminal file manager

Redis compatible server framework for Go

Fun, aesthetic, minimalist platform for learning and practicing Japanese online.

Dortania Bugtracker

Public repository for Skills

A statically typed programming language for scientific computations with first class support for physical dimensions and units

sched_ext schedulers and tools