afdw
Follow
-
MuseScore Public
Forked from musescore/MuseScoreMuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!
C++ Other UpdatedSep 28, 2026 -
-
KDDockWidgets Public
Forked from KDAB/KDDockWidgetsKDAB's Dock Widget Framework for Qt
C++ Other UpdatedSep 25, 2026 -
zotero-better-authors Public
Forked from github-young/zotero-better-authorsCustomize the displayed authors list
TypeScript GNU Affero General Public License v3.0 UpdatedMar 12, 2026 -
-
-
-
ppx_deriving_yojson Public
Forked from ocaml-ppx/ppx_deriving_yojsonA Yojson codec generator for OCaml.
OCaml MIT License UpdatedJun 14, 2025 -
rocq 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 UpdatedJun 12, 2025 -
-
-
restore-tabs Public
A tool for restoring tabs from a coredump of the main Chrome process
Python UpdatedJul 7, 2024 -
-
-
-
coq-interact-api Public
API for interacting with a Coq tactic for interaction with external programs
Python UpdatedMay 24, 2024 -
rootless-singularity Public
Container for running Arch Linux in Singularity without root
Shell UpdatedMay 2, 2024 -
coq-lsp Public
Forked from rocq-community/rocq-lspVisual Studio Code Extension and Language Server Protocol for Coq
OCaml GNU Lesser General Public License v2.1 UpdatedApr 16, 2024 -
coq-serapi Public
Forked from rocq-archive/coq-serapiCoq Protocol Playground with Se(xp)rialization of Internal Structures.
OCaml Other UpdatedApr 5, 2024 -
coq-elpi Public
Forked from LPCIC/coq-elpiCoq plugin embedding elpi
OCaml GNU Lesser General Public License v2.1 UpdatedApr 5, 2024 -
ocaml-zstd Public
Forked from ygrek/ocaml-zstdOCaml bindings to Zstandard (http://zstd.net)
OCaml UpdatedMar 19, 2024 -
ocaml-flock Public
Forked from simonjbeaumont/ocaml-flockCtypes bindings to flock(2) for OCaml
OCaml Other UpdatedMar 7, 2024 -
-
vscoq Public
Forked from rocq-prover/vsrocqA Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
OCaml MIT License UpdatedJan 26, 2024 -
-
-
C-style arbitrary precision calculator
C Other UpdatedFeb 11, 2023 -
-
riscv-gnu-toolchain Public
Forked from riscv-collab/riscv-gnu-toolchainGNU toolchain for RISC-V, including GCC
C Other UpdatedFeb 11, 2023 -
elf2flt Public
Forked from uclinux-dev/elf2fltELF to bFLT (binary flat) converter for no-mmu Linux targets
C GNU General Public License v2.0 UpdatedFeb 11, 2023