-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedNov 25, 2025 -
silverbullet Public
Forked from silverbulletmd/silverbulletAn open source personal productivity platform built on Markdown, turbo charged with the scripting power of Lua
TypeScript MIT License UpdatedOct 1, 2025 -
cosmic-files Public
Forked from pop-os/cosmic-filesCOSMIC file manager
-
-
yt-dlp Public
Forked from yt-dlp/yt-dlpA feature-rich command-line audio/video downloader
Python The Unlicense UpdatedNov 24, 2024 -
catra Public
A Princess theory for computing Parikh images of automata
-
-
rustc-dev-guide Public
Forked from rust-lang/rustc-dev-guideA guide to how rustc works and how to contribute to it.
HTML Apache License 2.0 UpdatedAug 1, 2024 -
-
polonius Public
Forked from rust-lang/poloniusDefines the Rust borrow checker.
Rust Apache License 2.0 UpdatedMay 22, 2024 -
rustc-perf Public
Forked from rust-lang/rustc-perfWebsite for graphing performance of rustc
Rust UpdatedMay 14, 2024 -
-
shairport-sync Public
Forked from mikebrady/shairport-syncAirPlay and AirPlay 2 audio player
C Other UpdatedMar 24, 2024 -
-
gathio Public
Forked from lowercasename/gathioSelf-destructing, shareable, no-registration event pages
JavaScript GNU General Public License v3.0 UpdatedFeb 9, 2024 -
-
Fast, zero-copy HTML Parser written in Rust
Rust MIT License UpdatedFeb 6, 2024 -
-
ZimaDocs Public
Forked from IceWhaleTech/ZimaDocsYour Home Cloud cookbook!
CSS MIT License UpdatedJul 6, 2023 -
Devise Public
Forked from SergioBenitez/DeviseLibrary for devising derives and other procedural macros.
Rust UpdatedMar 23, 2023 -
princess Public
Forked from uuverifiers/princessThe Princess Theorem Prover
Scala Other UpdatedFeb 20, 2023 -
webring Public
Forked from XXIIVV/webringMake yourself a website
HTML MIT License UpdatedJan 18, 2023 -
hyde Public
Forked from getzola/hydePort of https://github.com/poole/hyde to Zola
SCSS MIT License UpdatedJul 17, 2022 -
egui Public
Forked from emilk/eguiegui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
Rust Apache License 2.0 UpdatedJun 4, 2022 -
-
nano-symex Public
Forked from pruemmer/nano-symexA tiny symbolic execution engine
Scala BSD 3-Clause "New" or "Revised" License UpdatedAug 25, 2021 -
zaligvinder Public
This is an unofficial but friendly fork of the ZaligVinder string benchmark set/runner.
UpdatedJul 16, 2021 -
ostrich Public
Forked from uuverifiers/ostrichAn SMT Solver for string constraints
Scala Other UpdatedJul 15, 2021 -
Rocket Public
Forked from rwf2/RocketA web framework for Rust.
Rust Apache License 2.0 UpdatedMay 9, 2021 -
cloudflare-ddns Public
Forked from timothymiller/cloudflare-ddns🎉🌩️ Dynamic DNS (DDNS) service based on Cloudflare! Access your home network remotely via a custom domain name without a static IP!
Python UpdatedMar 13, 2021
{{ message }}