cheshire

onumerical

Numerical Library for OCaml

tikzviewer

Viewer for TikZ files.

django-whatever

Unobtrusive test models creation for django

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

simple_simplex

Naive simplex with NumPy in Python

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

compiler-rt

Mirror of official compiler-rt git repository located at http://llvm.org/git/compiler-rt. Updated every five minutes.

cpachecker

CPAchecker, the Configurable Software-Verification Platform

DCIntrospect

Small library of visual debugging tools for iOS.

extended_rational

Extended Rational Library for Java

flax

Flax is a neural network library for JAX that is designed for flexibility.

jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

llvm-project-20170507

Flat monorepo imported from http://llvm.org/git/ (17 repos)

mlir

"Multi-Level Intermediate Representation" Compiler Infrastructure

models

Models and examples built with TensorFlow

oceans-ai

oceans-ai

openxla-benchmark

pyices

Python bindings for Yices SMT solver

smtinterpol

SMTInterpol interpolating SMT solver

sv-benchmarks

svcomp-datasets

Useful datasets derived from SV-COMP

swift

The Swift Programming Language

swift-clang

swift-compiler-rt

swift-llvm

tensorflow

An Open Source Machine Learning Framework for Everyone

TransformerEngine

A library for accelerating Transformer models on NVIDIA GPUs, including using 8-bit floating point (FP8) precision on Hopper and Ada GPUs, to provide better performance with lower memory utilization in both training and inference.

triton

Development repository for the Triton language and compiler

z3

The Z3 Theorem Prover