Explore projects

Build wheels for CORSE/xtc-mlir

A library to build experimental frameworks on various platforms

Tools to manage targets (for the attacks)

Semantic web in the pocket.

SWIP is a project for supporting RDF under the Android hood.

Library to integrate EVSClient remote validation.

GNU Guix packages of non-free HPC software, or free software depending on non-free software.

forked from lenianiva/lean4-nix