L'assistant officiel des entrepreneurs

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

A high performance caching library for Java

Apache Paimon is a lake format that enables building a Realtime Lakehouse Architecture with Flink and Spark for both streaming and batch operations.

The simple pricing calculator and comparison tool for the cloud databases.

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

A free and strong UCI chess engine

Streaming generic JSON to XML converter. Uses XSLT 3.0 XML representation.

Automatic verification of LLVM optimizations

The Z3 Theorem Prover

llvm opt fuzzer and bounded exhaustive test generator

Erlang XQuery 3.1 Processor

Continuation of the Free/OpenSource version of the Serna XML editor

GFPGAN aims at developing Practical Algorithms for Real-world Face Restoration.

MathML Core draft

MathML4 editors draft

Vitess is a database clustering system for horizontal scaling of MySQL.

Master programming by recreating your favorite technologies from scratch.

Java Schematron library that supports XSLT and native application

Schematron "skeleton" - XSLT implementation

A curated list of awesome Schematron tools and applications. New items welcome.

Sandbox for testing streaming schematron

Proposal for a streamable version of Schematron using XSLT3

OSS-Fuzz - continuous fuzzing for open source software.

Kubernetes community content

A tool for creating technical documents and web standards

My own kipple