-
ACE-RISCV Public
Forked from IBM/ACE-RISCVAssured Confidential Execution (ACE) for RISC-V
Rust Apache License 2.0 UpdatedNov 6, 2025 -
beets-alternatives Public
Forked from geigerzaehler/beets-alternativesBeets plugin to manage external files
Python MIT License UpdatedOct 28, 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 UpdatedJul 4, 2025 -
Coqtail Public
Forked from whonore/CoqtailInteractive Coq Proofs in Vim
Python MIT License UpdatedJun 29, 2024 -
latex-unicoder.vim Public
Forked from joom/latex-unicoder.vimA plugin to type Unicode chars in Vim, using their LaTeX names.
Vim Script UpdatedJan 31, 2023 -
Clementine Public
Forked from clementine-player/Clementine🍊 Clementine Music Player
C++ GNU General Public License v3.0 UpdatedJan 16, 2023 -
opam-coq-archive Public
Forked from rocq-prover/opamArchive for all Coq related OPAM packages organized in various repositories
OCaml GNU Lesser General Public License v2.1 UpdatedAug 17, 2022 -
metacoq Public
Forked from MetaRocq/metarocqMetaprogramming in Coq
Coq MIT License UpdatedJan 5, 2021 -
coq-library-complexity Public
Forked from uds-psl/coq-library-complexityCoq Other UpdatedDec 6, 2020 -
-
coq-library-undecidability Public
Forked from uds-psl/coq-library-undecidabilityA library of formalised undecidable problems in Coq
Coq Other UpdatedFeb 22, 2020 -
thesis-template Public
Forked from yforster/thesis-templateA LaTeX template for Bachelor or Master theses
TeX UpdatedJan 25, 2020 -
SOSML Public
Forked from SOSML/SOSMLAn interpreter for Standard ML written in TypeScript.
TypeScript GNU General Public License v3.0 UpdatedApr 28, 2019
{{ message }}