Explore projects

forked from lnl7/nix-darwin

forked from nixos/nix

forked from ngi-nix/ngipkgs

forked from torvalds/linux

forked from lenianiva/lean4-nix

forked from leanprover/lean4

forked from kanidm/kanidm

forked from homebrew/homebrew-cask

forked from rocq-community/coq-nix-toolbox

forked from coq/coq

nix + deno + lume

yet another dotfiles repo with nix

Declearn - a modular and extensible python framework for Federated Learning

PM2: Parallel Multithread Machine (source code)

Official repository for MATLAB tools for the CROCO model

A library to build experimental frameworks on multiple platforms