-
cvc5_pythonic_api Public
Forked from cvc5/cvc5_pythonic_apiA Z3Py-compatible interface to cvc5
Python Other UpdatedMay 1, 2025 -
dotfiles Public
My Linux/Unix workspace configuration files.
-
qmk_firmware Public
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
C GNU General Public License v2.0 UpdatedApr 10, 2025 -
cports Public
Forked from chimera-linux/cportsChimera ports collection
Python BSD 2-Clause "Simplified" License UpdatedApr 4, 2025 -
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
SMT Other UpdatedFeb 6, 2025 -
hush-benchmarks Public
Examples and benchmarks for the Hush scripting language
-
void-packages Public
Forked from void-linux/void-packagesThe Void source packages collection
Shell Other UpdatedNov 16, 2024 -
hush Public
Forked from hush-shell/hushHush is a unix shell based on the Lua programming language
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedSep 25, 2022 -
Turdus-Project Public
Forked from RominaSSBatista/Turdus-ProjectPhylogenomics and biogeography of the world’s thrushes (Aves, Turdus): new evidence for a more parsimonious evolutionary history
Python UpdatedOct 23, 2021 -
sway Public
Forked from swaywm/swayi3-compatible Wayland compositor
C MIT License UpdatedApr 3, 2021 -
wl-clipboard Public
Forked from bugaevc/wl-clipboardCommand-line copy/paste utilities for Wayland
C GNU General Public License v3.0 UpdatedFeb 24, 2021 -
vis Public
Forked from martanne/visA vi-like editor based on Plan 9's structural regular expressions
C Other UpdatedFeb 15, 2021 -
-
-
-
-
-
-
-
warp Public
Forked from seanmonstar/warpA super-easy, composable, web server framework for warp speeds.
Rust MIT License UpdatedJun 15, 2020 -
zig Public
Forked from ziglang/zigGeneral-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Zig MIT License UpdatedApr 27, 2020 -
flask-restx Public
Forked from python-restx/flask-restxFork of Flask-RESTPlus: Fully featured framework for fast, easy and documented API development with Flask
Python Other UpdatedApr 27, 2020 -
uceasy Public
Forked from uceasy/uceasyUCEasy: a wrapper for the phyluce software package.
Python MIT License UpdatedApr 15, 2020 -
rust-bio Public
Forked from rust-bio/rust-bioThis library provides implementations of many algorithms and data structures that are useful for bioinformatics. All provided implementations are rigorously tested via continuous integration.
Rust MIT License UpdatedMar 26, 2020 -
gito Public
Forked from gitobioinformatics/gitoGito, a lightweight and safe environment for bioinformatics
Shell MIT License UpdatedJan 24, 2020 -
-
understanding-math Public
Forked from nbro/understanding-mathLinks to resources talking about how to understand mathematics, mathematical language and mathematical notation.
UpdatedDec 26, 2019 -
-
redox Public
Forked from redox-os/redoxMirror of https://gitlab.redox-os.org/redox-os/redox
Makefile MIT License UpdatedNov 11, 2019
{{ message }}