-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
-
-
AlgebraicSolving.jl Public
Forked from algebraic-solving/AlgebraicSolving.jlJulia Other UpdatedApr 30, 2026 -
msolve Public
Forked from algebraic-solving/msolveLibrary for Polynomial System Solving through Algebraic Methods
C GNU General Public License v2.0 UpdatedApr 30, 2026 -
raglib Public
Forked from algebraic-solving/raglibReal Algebraic Geometry Library
Objective-C++ GNU General Public License v2.0 UpdatedApr 25, 2026 -
hydra-jobs Public
Forked from Nix4Loong/hydra-jobsHydra jobs for https://hydra.nix4loong.cn
Nix MIT License UpdatedApr 22, 2026 -
-
PEPit Public
Forked from PerformanceEstimation/PEPitPEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.
Jupyter Notebook MIT License UpdatedApr 13, 2026 -
flint Public
Forked from flintlib/flintFLINT (Fast Library for Number Theory)
C GNU Lesser General Public License v3.0 UpdatedApr 9, 2026 -
AbstractAlgebra.jl Public
Forked from Nemocas/AbstractAlgebra.jlGeneric abstract algebra functionality in pure Julia (no C dependencies)
Julia Other UpdatedMar 28, 2026 -
filnix Public
Forked from mbrock/filnixFil-C as a Nix C/C++ toolchain and cross platform
Nix UpdatedMar 9, 2026 -
Nemo.jl Public
Forked from Nemocas/Nemo.jlJulia bindings for the FLINT number theory C library
Julia Other UpdatedFeb 19, 2026 -
-
tslib Public
Forked from libts/tslibTouchscreen access library
C GNU Lesser General Public License v2.1 UpdatedOct 21, 2025 -
rtl8188eus Public
Forked from gglluukk/rtl8188eusRealTek RTL8188eus WiFi driver with monitor mode & frame injection support
C UpdatedSep 29, 2025 -
nudoku Public
Forked from jubalh/nudokuncurses based sudoku game
C GNU General Public License v3.0 UpdatedJul 23, 2025 -
label-approved Public
Forked from nix-community/label-approveda program to label approved PRs in nixpkgs [maintainer=@Artturin]
-
Singular Public
Forked from Singular/Singularsources for the Singular computer algebra system
C++ Other UpdatedJun 15, 2025 -
ngipkgs Public
Forked from ngi-nix/ngipkgsNix packages and services for projects supported through the NGI program
Nix MIT License UpdatedApr 16, 2025 -
paramhermite Public
Forked from huuphuocle/paramhermiteM GNU General Public License v3.0 UpdatedMar 7, 2025 -
-
perpetual-pools-contracts Public
Forked from mycelium-ethereum/perpetual-pools-contracts -
-
-
-
android_kernel_oneplus_sm8250 Public
Forked from YumeMichi/kernel_oneplus_sm8250OnePlus 9R Kernel based on LA.UM.9.12.r1 tag with Linux stable merged in
C Other UpdatedJan 30, 2022 -
android_device_oneplus_lemonades Public
Forked from YumeMichi/device_oneplus_lemonadesShell UpdatedJan 30, 2022 -
proprietary_vendor_oneplus Public
Forked from YumeMichi/proprietary_vendor_oneplusMakefile UpdatedJan 29, 2022 -
libcini Public
A simple and easy-to-use C initiation library
-
lxc-android Public
Forked from Halium/lxc-androidConfiguration for starting android inside LXC container
Shell UpdatedJan 18, 2021
{{ message }}