Explore projects

forked from nixos/nix

forked from leanprover/lean4

Cado-NFS, An Implementation of the Number Field Sieve Algorithm

If you want to report bugs, or participate in cado-nfs development, read this

New experimental v2 version

SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.

PM2: Parallel Multithread Machine (source code)

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Recurrent network weight tuning

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Automatic speculative POLyhedraL Loop Optimizer

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data