-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedSep 14, 2025 -
smtlib-rs Public
Forked from oeb25/smtlib-rsA high-level API for interacting with SMT solvers.
Rust UpdatedSep 1, 2025 -
evaltrees Public
A simple term-rewriting interpreter that displays intermediate expressions.
-
crun Public
Forked from containers/crunA fast and lightweight fully featured OCI runtime and C library for running containers
C GNU General Public License v2.0 UpdatedApr 11, 2025 -
rust Public
Forked from rust-lang/rustA safe, concurrent, practical language.
Rust Other UpdatedMar 14, 2025 -
proot Public
Forked from proot-me/prootchroot, mount --bind, and binfmt_misc without privilege/setup for Linux
C GNU General Public License v2.0 UpdatedFeb 6, 2025 -
wasmtime Public
Forked from bytecodealliance/wasmtimeA lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Rust Apache License 2.0 UpdatedJan 20, 2025 -
sketchzone Public
Forked from robsimmons/sketchzoneQuality-of-life for fiddly little JS apps that modify user-generated text
TypeScript Other UpdatedJan 18, 2025 -
liburing Public
Forked from axboe/liburingLibrary providing helpers for the Linux kernel io_uring support
C MIT License UpdatedDec 14, 2024 -
lazy.nvim Public
Forked from folke/lazy.nvim💤 A modern plugin manager for Neovim
Lua Apache License 2.0 UpdatedNov 20, 2024 -
slimv Public
Forked from kovisoft/slimvOfficial mirror of Slimv versions released on vim.org
Common Lisp UpdatedAug 30, 2024 -
gc-arena Public
Forked from kyren/gc-arenaIncremental garbage collection from safe Rust
Rust Creative Commons Zero v1.0 Universal UpdatedJul 9, 2024 -
-
ppx_deriving Public
Forked from ocaml-ppx/ppx_derivingType-driven code generation for OCaml
OCaml MIT License UpdatedJul 7, 2024 -
rust-antidote Public
Forked from sfackler/rust-antidoteRust Apache License 2.0 UpdatedMar 18, 2024 -
warp Public
Forked from seanmonstar/warpA super-easy, composable, web server framework for warp speeds.
-
rust-bindgen Public
Forked from rust-lang/rust-bindgenAutomatically generates Rust FFI bindings to C (and some C++) libraries.
Rust BSD 3-Clause "New" or "Revised" License UpdatedJan 12, 2024 -
json-pointer Public
A crate for parsing and using JSON pointers, as specified in RFC 6901.
-
-
-
A wiki using HAppS, pandoc, and git
Haskell GNU General Public License v2.0 UpdatedSep 28, 2023 -
llama.cpp Public
Forked from ggml-org/llama.cppPort of Facebook's LLaMA model in C/C++
C MIT License UpdatedSep 9, 2023 -
-
-
-
neovim Public
Forked from neovim/neovimVim-fork focused on extensibility and usability
Vim Script Other UpdatedJun 12, 2023 -
soa-derive Public
Forked from lumol-org/soa-deriveArray of Struct to Struct of Array helpers in Rust
Rust Apache License 2.0 UpdatedMay 12, 2023 -
filestore Public
Forked from jgm/filestoreA versioning file store backed by git, darcs, or mercurial
Haskell Other UpdatedFeb 21, 2023 -
metlo Public
Forked from metlo-labs/metloMetlo is an open-source API security platform.
TypeScript MIT License UpdatedFeb 5, 2023 -
ohmyzsh Public
Forked from ohmyzsh/ohmyzsh🙃 A delightful community-driven (with 2,100+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…
Shell MIT License UpdatedFeb 1, 2023
{{ message }}