Code for Paper: “Low-Resource” Text Classification: A Parameter-Free Classification Method with Compressors

The Feldera Incremental Computation Engine

Design documents for distributed DBSP

The Java Multi-Cloud Toolkit

The Ultimate program analysis framework.

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

lichess.org mobile application

Main site of information of XPath Next

Black-box transactional safety checker based on cycle detection

Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!

Lift machine code to performant LLVM IR

Compression Library accelerated by Intel® QuickAssist Technology

Extremely Fast Compression algorithm

Intel® Query Processing Library (Intel® QPL)

The Z3 Theorem Prover

The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions

Java Implementation of EXI

Storage for my snippets, toy programs, etc.

Jabel - unlock Javac 9+ syntax when targeting Java 8

An XML library in Rust

All Algorithms implemented in Rust

GLM-130B: An Open Bilingual Pre-Trained Model (ICLR 2023)

EXI WG test suite

Apache Calcite

Apache Arrow is the universal columnar format and multi-language toolbox for fast data interchange and in-memory analytics

Relaunch of EMOJI SIMULATOR 😘

A composable and fully extensible C++ execution engine library for data management systems.