More
More
-
173tourney Public
test-fest (was war-grading) infrastructure
JavaScript BSD 3-Clause "New" or "Revised" License UpdatedAug 6, 2009 -
aenea Public
Forked from dictation-toolbox/aeneaVery dirty hacks to allow Linux voice macros using Dragon NaturallySpeaking in a virtual machine, with a focus on terminal use and coding. Choose again.
Python Other UpdatedSep 22, 2013 -
airlift Public
Forked from airlift/airliftAirlift framework for building REST services
Java Apache License 2.0 UpdatedMay 13, 2020 -
airline Public
Forked from airlift/airlineJava annotation-based framework for parsing Git like command line structures
Java Apache License 2.0 UpdatedAug 17, 2017 -
airport-cli Public
Simple command-line tool to manage OSX wifi devices
-
BozoCrack Public
Forked from juuso/BozoCrackA silly & effective MD5 cracker in Ruby
Ruby UpdatedNov 7, 2011 -
brew Public
Forked from Homebrew/brew🍺 The missing package manager for macOS (or Linux)
Ruby BSD 2-Clause "Simplified" License UpdatedFeb 20, 2024 -
buck Public
Forked from facebook/buckA fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.
Java Apache License 2.0 UpdatedJul 31, 2020 -
cli53 Public
Forked from barnybug/cli53Command line tool for Amazon Route 53
Go MIT License UpdatedJan 17, 2021 -
cloudflare-stream-downloader Public
Forked from Schachte/cloudflare-stream-downloaderDownload tool for Cloudflare Stream
Go UpdatedJan 6, 2025 -
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedFeb 22, 2024 -
-
Coqtail Public
Forked from whonore/CoqtailInteractive Coq Proofs in Vim
Python MIT License UpdatedFeb 19, 2024 -
crx-blank-new-tab Public
Replaces the "New Tab" page in Chrome with a near-blank resource-light page
HTML UpdatedSep 6, 2024 -
cs6113-project Public
Forked from tmagrino/cs6113-projectProject files for cs6113 at Cornell.
TeX UpdatedJan 1, 2014 -
data-sexpression Public
Forked from nelhage/data-sexpressionA perl S-Expression parser
Perl UpdatedAug 21, 2009 -
dropfuse Public
Forked from a-zb/dropfuseDropFuse is a userspace filesystem that uses DropBox.com publicly shared folders.
Python Other UpdatedMar 14, 2014 -
esp-idf Public
Forked from espressif/esp-idfEspressif IoT Development Framework. Official development framework for ESP32.
C Apache License 2.0 UpdatedJan 23, 2021 -
fbthrift Public
Forked from facebook/fbthriftFacebook's branch of Apache Thrift, including a new C++ server.
C++ Apache License 2.0 UpdatedOct 6, 2016 -
figfs Public
Forked from reillyeon/figfsThe Filesystem Interface to Git FileSystem
-
folly Public
Forked from facebook/follyAn open-source C++ library developed and used at Facebook.
C++ Apache License 2.0 UpdatedJan 22, 2021 -
-
Framework-InputModules Public
Forked from FrameworkComputer/InputModulesReference designs and documentation for the Input Module system in the Framework Laptop 16
UpdatedNov 20, 2024 -
-
ghbackup Public
Forked from qvl/ghbackupEmbarrassingly simple GitHub backup tool
Go MIT License UpdatedApr 13, 2018 -
git-crypt Public
Forked from AGWA/git-cryptTransparent file encryption in git
C++ GNU General Public License v3.0 UpdatedJul 6, 2014 -
homebrew Public archive
Forked from Homebrew/legacy-homebrewThe missing package manager for OS X.
Ruby Other UpdatedJul 3, 2015 -
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS
Ruby BSD 2-Clause "Simplified" License UpdatedFeb 27, 2024 -
homebrew-dupes Public
Forked from keitheis/homebrew-dupes👭 System duplicate formulae for the Homebrew package manager
Ruby Other UpdatedOct 10, 2016 -
homebrew-fb Public
Forked from facebook/homebrew-fbOS X Homebrew formulas to install Facebook open source software
Ruby UpdatedOct 7, 2016