Real Algebraic Geometry Library

Fil-C as a Nix C/C++ toolchain and cross platform

PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.

Sign determination for CAD

Library for Polynomial System Solving through Algebraic Methods

Introduction to machine learning, practical lessons

Simple HDL shallowly embedded in Python, for the "Systèmes numériques" course at ENS Paris

Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu,@cyclic-pentane]

Visual Studio Code Server support in NixOS

OfflineInsiderEnroll - A script to enable access to the Windows Insider Program on machines not signed in with Microsoft Account

Repo for counting stars and contributing. Press F to pay respect to glorious developers.