Agda is a dependently typed programming language
This repository is a collection of the author, Xiao Fuge
Powering Amazon custom machine learning chips
JAX-based neural network library
Codam's own fixed, functioning alternative of the miniLibX
A cross-platform Python library for differentiable programming
The core OCaml system: compilers, runtime system, base libraries
Minimal examples of data structures and algorithms in Python
Share interesting, entry-level open source projects on GitHub
Scalable and Flexible Gradient Boosting
A cross-platform x86 assembler with an Intel-like syntax
A Cloud Native Batch System (Project under CNCF)
Modular quant framework
Python implementation for microcontrollers and constrained systems
A programming language and an implementation of that language
The Lux Programming Language
The Flix Programming Language
Gravity Programming Language
The project source code for Hacking with iOS
Collection of various C++ code samples, utilities, patterns
Graph Neural Network Library for PyTorch
Compiler for Clojure that targets JavaScript
Geometric deep learning extension library for PyTorch
Healthy Learning to 150 - An Incomplete Guide to Human System Tuning
AutoML library for deep learning