A unified framework for tabular probabilistic regression and probability distributions in python

Existing Literature about Machine Unlearning

The Scala Documentation website

Staged compilation with dependent types

GStreamer open-source multimedia framework

Orc - Optimized Inner Loop Runtime Compiler

Standard library for OCaml

Hypergraph Neural Network-Based Combinatorial Optimization

Powerful menu bar manager for macOS

This repository provides an opinionated tutorial on building Kubernetes controllers, sharing best practices and design patterns I have found most effective

Official repository of the xLSTM.

Async-friendly QUIC implementation in Rust

A research language with effect handlers and lightweight effect polymorphism

Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.

A curated list of awesome SIMD frameworks, libraries and software

Implementations of SIMD instruction sets for systems which don't natively support them.

Lower bounds for hypothesis testing and estimation, in Lean

K Junior is an MIT licensed open source array language written by Arthur Whitney.

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

Exact OU processes with JAX

Highly customizable startup screen for Emacs.

Embedded drawing tool for Emacs

Interactive grep (for streaming)

Simple, Business-friendly Decisions Engine for Scala

A gentle introduction to Isabelle and Isabelle HOL

Lean の基本的な構文や機能を紹介するためのサンプルコード集です．（執筆中止）

The math library of Lean 4

💧 Liquid Tensor Experiment