-
portmidi Public
Forked from PortMidi/portmidiportmidi is a cross-platform MIDI input/output library
C Other UpdatedJul 1, 2025 -
-
mattutils Public
Repository for all my random tools and scripts I use
-
vimcat Public
cat a file to the terminal with vim syntax highlighting
-
-
-
rumur Public
yet another model checker
-
PeakRDL-cheader Public
Forked from SystemRDL/PeakRDL-cheaderPython GNU General Public License v3.0 UpdatedApr 29, 2025 -
gclc Public
Forked from janicicpredrag/gclcGCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
C++ Other UpdatedMar 4, 2025 -
pygraphviz Public
Forked from pygraphviz/pygraphvizPython interface to Graphviz graph drawing package
C Other UpdatedFeb 20, 2025 -
-
mangl Public
Forked from zigalenarcic/manglAn enhanced man page viewer for linux and BSD systems based on OpenGL and mandoc libraries
C Other UpdatedJul 3, 2024 -
macports-ports Public
Forked from macports/macports-portsThe MacPorts ports tree
Tcl Other UpdatedMar 24, 2024 -
mozsearch-mozilla Public
Forked from mozsearch/mozsearch-mozillaShell Mozilla Public License 2.0 UpdatedFeb 10, 2024 -
cirrus-ci-docs Public
Forked from cirruslabs/cirrus-ci-docsDocumentation for Cirrus CI 📚
HTML MIT License UpdatedJan 28, 2024 -
ydotool Public
Forked from ReimuNotMoe/ydotoolGeneric command-line automation tool (no X!)
C GNU Affero General Public License v3.0 UpdatedJan 27, 2024 -
sysget Public
Forked from cvengler/sysgetOne package manager to rule them all
C++ GNU General Public License v3.0 UpdatedJan 17, 2024 -
-
Scarlet Public
Forked from rajarshi008/ScarletTool for learning linear temporal logic formulas using combinatorial approach
Python MIT License UpdatedSep 4, 2023 -
The official Vim repository
Vim Script Vim License UpdatedOct 21, 2022 -
GNOLL Public
Forked from ianfhunter/GNOLLGNOLL is an efficient dice notation parser for multiple programming languages that supports a wide set of dice notation
C GNU General Public License v3.0 UpdatedOct 9, 2022 -
sorbet Public
Forked from sorbet/sorbetA fast, powerful type checker designed for Ruby
Ruby Apache License 2.0 UpdatedAug 27, 2022 -
asan_alignment_example Public
Forked from mcgov/asan_alignment_exampleillustrate ASan's manual poisoning alignment requirements.
C++ UpdatedJul 2, 2022 -
buildcache Public
Forked from asheplyakov/buildcacheA build cache
C++ zlib License UpdatedApr 27, 2022 -
openapi-generator Public
Forked from OpenAPITools/openapi-generatorOpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
Java Apache License 2.0 UpdatedMar 18, 2022 -
wintertools Public
Forked from wntrblm/wintertoolsPython tools for managing and testing Winterbloom projects
Python MIT License UpdatedMay 21, 2021 -
polyml Public
Forked from polyml/polymlPoly/ML
Standard ML GNU Lesser General Public License v2.1 UpdatedFeb 17, 2021 -
-
camkes-tool Public
Forked from seL4/camkes-toolThe main CAmkES tool
Python Other UpdatedApr 16, 2020 -
wtdbg2 Public
Forked from ruanjue/wtdbg2Redbean: A fuzzy Bruijn graph approach to long noisy reads assembly
C GNU General Public License v3.0 UpdatedApr 15, 2020
{{ message }}