ANSI color formatting for output in terminal

Unsupervised text tokenizer for Neural Network-based text generation.

Official repository of the paper "mEdIT: Multilingual Text Editing via Instruction Tuning" (NAACL 2024)

Minimalist ML framework for Rust

Open Source Neural Machine Translation and (Large) Language Models in PyTorch

Obtain Word Alignments using Pretrained Language Models (e.g., mBERT)

The modern, lightweight, performant, accessible and extensible drag & drop toolkit for React.

Tidy, feature-complete Web framework

Run LLMs with MLX

A high-throughput and memory-efficient inference and serving engine for LLMs

An extremely fast Python package and project manager, written in Rust.

Rust library for popular skill rating algorithms like Elo, Glicko-2, TrueSkill and many more.

The math library of Lean 4

A verification toolchain for Rust programs

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

A high-performance C# based Archetype & Chunks Entity Component System (ECS) with optional multithreading.

The canonical spec for ulid

SMTscope automatically analyses and visualises SMT solver execution traces.

A Foreign Function Interface (FFI) to cvc5 solver in Lean.

A markup-based typesetting system that is powerful and easy to learn.

A textbook on informal homotopy type theory

An introduction to theorem proving in Lean for the impatient.

A collection of tools for writing technical documents that mix Coq code and prose.

The source code for 2048

A series of JSONiq tutorials

A Proof-oriented Programming Language

Data validation using Python type hints