Stars
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Home of the "types team", affiliated with the compiler and lang teams.
Forum for discussion about what unsafe code can and can't do
High-performance automatic differentiation of LLVM and MLIR.
Empowering everyone to build reliable and efficient software.
Dématérialiser et simplifier les démarches administratives
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
The development repository for the deal.II finite element library
Convert French law in LEGI database ("Codes, lois et règlements consolidés") to Git & Markdown.
Light-weight verification and transformation tools for Fortran
The most cited deep learning papers
A Dependently Typed Functional Programming Language
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
SymEngine is a fast symbolic manipulation library, written in C++
A computer algebra system written in pure Python
fredrik-johansson / flint
Forked from flintlib/flintMy copy of FLINT -- please use https://github.com/flintlib/flint/ for development