JaxPP is a library for JAX that enables flexible MPMD pipeline parallelism for large-scale LLM training

An Open Source implementation of Notebook LM with more flexibility and features

Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

Unified storage framework for the entire machine learning lifecycle

Open Machine Learning Compiler Framework

A tool for developers to create cloud-native applications on Kubernetes.

A general-purpose encoder-decoder framework for Tensorflow

self-driving MarioKart with TensorFlow

Haskell bindings for TensorFlow

An Open Source Machine Learning Framework for Everyone

Generic parser combinators

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

Simple verification of Rust programs via functional purification in Lean 2(!)

Moved to https://github.com/ivanceras/diwata

Haskell on Apache Spark.

An implementation of differential dataflow using timely dataflow on Rust.

Haskell to VHDL/Verilog/SystemVerilog compiler

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…

An open source ML system for the end-to-end data science lifecycle

🐟 鯰: Programmable fuzzy scheduler for testing distributed systems

haskell ghc-illustrated