An OpenAI Gym crop management environment for Reinforcement Learning (RL), based on the Decision Support System for Agrotechnology Transfer (DSSAT) crop model.

Additional ROS drivers for the Pepper robot.

Repository for the code of the article "Quantifying membrane binding using Fluorescence Correlation Spectroscopy diffusion laws" by Mouttou et al

ProVerif symbolic protocol verifier

Hierarchical Pattern-aided Regression

Experimental Magma and SageMath exact implementation of the alpha function in the TNFS (tower number field sieve) setting.

A library for constraint-based Hindley-Milner type inference.

Dense linear algebra subroutines for heterogeneous and distributed architectures

Synthetic case for µs infrastructure as code for comparison with Concerto-D.

CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

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

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

Time-Accurate Network Simulation Interconnecting Vms

Elliptic Curve Method (ECM) in SageMath