-
FitchVIZIER Public
Forked from FundamentalComputing/FitchVIZIERFitch-style prover
Rust MIT License UpdatedNov 5, 2025 -
vial-qmk Public
Forked from vial-kb/vial-qmkQMK fork with Vial-specific features.
C GNU General Public License v2.0 UpdatedApr 18, 2025 -
fitch-proof Public
Forked from el-sambal/fitch-proofThis is a validator of Fitch style natural deduction proofs.
Rust UpdatedSep 12, 2024 -
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 UpdatedAug 19, 2024 -
qmk-holykeebs Public
qmk for for the holykeebs keyboards
C GNU General Public License v2.0 UpdatedJun 2, 2024 -
technikable-zmk-config Public
Forked from petejohanson/technikable-zmk-configZMK Config for Technikable
CMake UpdatedMay 11, 2024 -
discotec.github.io Public
Forked from DisCoTec/discotec.github.ioThe website of DisCoTec - the International Federated Conference on Distributed Computing Techniques
HTML UpdatedFeb 20, 2024 -
UniMath Public
Forked from UniMath/UniMathThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Coq Other UpdatedFeb 15, 2024 -
splitkb-vial-qmk Public
upstream: https://github.com/splitkb/vial-qmk/
C GNU General Public License v2.0 UpdatedFeb 10, 2024 -
BI-cutelim Public
Cut elimination for the logic of Bunched Implications (BI), and some extensions.
-
-
notes-on-realizability Public
Forked from andrejbauer/notes-on-realizabilityLecture notes on realizability
TeX UpdatedApr 10, 2022 -
SeLoC Public
Strong non-interference for fine-grained concurrent programs
-
-
-
emacs-theme-gruvbox Public
Forked from greduan/emacs-theme-gruvboxGruvbox is a retro groove color scheme for Emacs. Port of the Vim version.
Emacs Lisp MIT License UpdatedDec 30, 2021 -
-
persephone Public
Forked from danbee/persephonemacOS MPD client written in Swift.
Swift MIT License UpdatedDec 9, 2021 -
dmlenu Public
Forked from the-lambda-church/dmlenua clone of dmenu written in OCaml.
OCaml MIT License UpdatedMay 23, 2021 -
-
autosubst Public
Forked from rocq-community/autosubstAutomation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
Coq UpdatedDec 15, 2020 -
-
coq-alternative-facts Public
Forked from Mbodin/coq-alternative-factsCoq for politicians
-
CoqPL19-paper Public
Forked from vzaliva/CoqPL19-paperA paper submitted to CoqPL 2019 workshop
TeX UpdatedApr 24, 2020 -
ocaml-wiringpi Public
Forked from Leonidas-from-XIV/ocaml-wiringpiBinding to the WiringPi library
-
plzoo Public
Forked from andrejbauer/plzooProgramming Languages Zoo
OCaml MIT License UpdatedAug 24, 2019 -
itis Public
Forked from ifazk/itisWarn about uses of "it's" in a latex file.
OCaml MIT License UpdatedAug 12, 2019 -
Arduino-Makefile Public
Forked from sudar/Arduino-MakefileMakefile for Arduino sketches. It defines the workflows for compiling code, flashing it to Arduino and even communicating through Serial.
Makefile GNU Lesser General Public License v2.1 UpdatedJul 31, 2019 -
TIC-80 Public
Forked from nesbox/TIC-80My repository for TIC-80 with patches for Guile interop
C MIT License UpdatedJun 2, 2019 -
ocaml.org Public
Forked from ocaml/v2.ocaml.orgImplementation of the ocaml.org website.
OCaml Other UpdatedMay 30, 2019
{{ message }}