Repos
43
Stars
23
Forks
2
Top Language
C++
Loading contributions...
Top Repositories
Repositories
43Small library of visual debugging tools for iOS.
Multi-Agent Reinforcement Learning with JAX
Simple calculator in python, using ANTLR V3
A simple, performant and scalable Jax LLM!
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
The Swift Programming Language
Development repository for the Triton language and compiler
No description provided.
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.
[MIRROR] virtualenv makes virtual environments.
oceans-ai
Flax is a neural network library for JAX that is designed for flexibility.
No description provided.
Naive simplex with NumPy in Python
Models and examples built with TensorFlow
"Multi-Level Intermediate Representation" Compiler Infrastructure
Numerical Library for OCaml
An Open Source Machine Learning Framework for Everyone
The Z3 Theorem Prover
Flat monorepo imported from http://llvm.org/git/ (17 repos)
No description provided.
Mirror of official compiler-rt git repository located at http://llvm.org/git/compiler-rt. Updated every five minutes.
Official clone of the Subversion repository.
No description provided.
Viewer for TikZ files.
No description provided.
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
Main public package repository for OPAM, the source package manager of OCaml.
Useful datasets derived from SV-COMP
SMTInterpol interpolating SMT solver