-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedMay 3, 2025 -
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…
LLVM Other UpdatedApr 13, 2025 -
unity-test-parser Public
Forked from ETCLabs/unity-test-parserParse the output of the Unity Test Framework for C (https://github.com/ThrowTheSwitch/Unity)
Python Apache License 2.0 UpdatedMar 24, 2025 -
pylink Public
Forked from square/pylinkPython Library for device debugging/programming via J-Link
Python Other UpdatedMar 23, 2025 -
FreeRTOS-Plus-TCP Public
Forked from FreeRTOS/FreeRTOS-Plus-TCPFreeRTOS-Plus-TCP library repository. +TCP files only. Submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
C MIT License UpdatedFeb 20, 2025 -
libprotobuf-mutator Public
Forked from google/libprotobuf-mutatorLibrary for structured fuzzing with protobuffers
C++ Apache License 2.0 UpdatedJul 15, 2024 -
Nix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedJun 29, 2023 -
-
documentation Public
Forked from raspberrypi/documentationThe official documentation for Raspberry Pi computers and microcontrollers
Python Other UpdatedMar 9, 2023 -
openzfs-docs Public
Forked from openzfs/openzfs-docsOpenZFS Documentation
Python UpdatedJan 2, 2023 -
mbedtls Public
Forked from Mbed-TLS/mbedtlsAn open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API.
C Apache License 2.0 UpdatedDec 15, 2022 -
BLAKE3 Public
Forked from BLAKE3-team/BLAKE3the official Rust and C implementations of the BLAKE3 cryptographic hash function
Assembly Other UpdatedNov 19, 2022 -
-
wayvnc Public
Forked from any1/wayvncA VNC server for wlroots based Wayland compositors
C ISC License UpdatedJul 10, 2022 -
meta-browser Public
Forked from OSSystems/meta-browserOpenEmbedded/Yocto BSP layer for Web Browsers
-
gamemode Public
Forked from FeralInteractive/gamemodeOptimise Linux system performance on demand
C BSD 3-Clause "New" or "Revised" License UpdatedApr 20, 2022 -
libepoxy Public
Forked from anholt/libepoxyEpoxy is a library for handling OpenGL function pointer management for you
C Other UpdatedMar 4, 2022 -
patchelf Public
Forked from NixOS/patchelfB511A small utility to modify the dynamic linker and RPATH of ELF executables
C GNU General Public License v3.0 UpdatedFeb 28, 2022 -
miniz Public
Forked from richgel999/minizminiz: Single C source file zlib-replacement library, originally from code.google.com/p/miniz
C MIT License UpdatedFeb 27, 2022 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedFeb 27, 2022 -
Mono open source ECMA CLI, C# and .NET implementation.
C# Other UpdatedFeb 16, 2022 -
kremlin Public
Forked from FStarLang/karamelKreMLin is a tool for extracting low-level F* programs to readable C code
OCaml Apache License 2.0 UpdatedFeb 14, 2022 -
FStar Public
Forked from FStarLang/FStarA Proof-oriented Programming Language
F* Apache License 2.0 UpdatedFeb 14, 2022 -
Mirror of GMP as used by ALICE. For the official web pages please refer to https://gmplib.org
C GNU General Public License v3.0 UpdatedFeb 13, 2022 -
Zarith Public
Forked from ocaml/ZarithThe Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
OCaml Other UpdatedFeb 13, 2022 -
ocamlfind Public
Forked from ocaml/ocamlfindThe OCaml findlib library manager
OCaml Other UpdatedFeb 12, 2022 -
batsignal Public
Forked from electrickite/batsignalLightweight battery daemon written in C
C ISC License UpdatedFeb 2, 2022 -
-
fcitx5-gtk Public
Forked from fcitx/fcitx5-gtkgtk im module and glib based dbus client library
C++ UpdatedJan 25, 2022 -
{{ message }}