-
docker-keeper-dashboard Public
Dashboard for docker-keeper related repositories
MIT License UpdatedDec 15, 2025 -
docker-keeper Public
Mirror of https://gitlab.com/erikmd/docker-keeper [maintainer=@erikmd]: Tool to help maintain Docker Hub repositories of stable, dev, or nightly-build images from a YAML-specified, single-branch Gi…
-
gitpod-tp-env Public template
Template repository for Emacs-in-Browser-Terminal using Dotfiles from https://github.com/erikmd/gitpod-workspace-emacs-nw
-
gitpod-workspace-emacs-nw Public
Self-contained repo: Dotfiles config for Gitpod workspaces (CDE) using a Docker-Coq image and Emacs+PG in (browser) terminal
-
tapfa-init.el Public
Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée)
-
UniMath Public
Forked from UniMath/UniMathThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Coq Other UpdatedApr 7, 2025 -
wekan-launchpad Public
Forked from wekan/wekan-launchpadDocker: Alpine Linux and Wekan <=> MongoDB
Dockerfile MIT License UpdatedMar 27, 2025 -
gnome-screenshot-wrapper Public
A Bash wrapper for GNOME Screenshot
-
rocq-prover.org Public
Forked from rocq-prover/rocq-prover.orgThe Rocq Prover Website
HTML Other UpdatedFeb 11, 2025 -
-
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 UpdatedFeb 5, 2025 -
coq-elpi Public
Forked from LPCIC/coq-elpiCoq plugin embedding elpi
OCaml GNU Lesser General Public License v2.1 UpdatedJan 23, 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 UpdatedJan 20, 2025 -
-
xterm-web-ide Public
Forked from gitpod-io/xterm-web-ideThe xterm.js web IDE aka The Browser Terminal
TypeScript GNU Affero General Public License v3.0 UpdatedOct 29, 2024 -
-
-
ocaml-practice-exercises Public
Forked from divyankachaudhari/ocaml-practice-exercisesRun OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform
OCaml Other UpdatedSep 17, 2024 -
-
bot Public
Forked from rocq-prover/botA (Coq Development Team) bot written in OCaml
OCaml MIT License UpdatedAug 24, 2024 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
docker-coq-github-action-demo Public template
Demo of a regular Coq project using docker-coq-action as CI setup
-
centaur-tabs Public
Forked from ema2159/centaur-tabsEmacs plugin aiming to become an aesthetic, modern looking tabs plugin
Emacs Lisp GNU General Public License v3.0 UpdatedMay 17, 2024 -
caml-mode Public
Forked from ocaml/caml-modeEmacs mode to edit OCaml files
Emacs Lisp GNU General Public License v3.0 UpdatedMay 3, 2024 -
spaceline Public
Forked from TheBB/spacelinePowerline theme from Spacemacs
Emacs Lisp GNU General Public License v3.0 UpdatedMay 3, 2024 -
-
awesome-coq Public
Forked from rocq-community/awesome-coqA curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
Creative Commons Zero v1.0 Universal UpdatedMar 11, 2024 -
awesome-ocaml Public
Forked from ocaml-community/awesome-ocamlA curated collection of awesome OCaml tools, frameworks, libraries and articles.
UpdatedMar 7, 2024 -
js_of_ocaml Public
Forked from ocsigen/js_of_ocamlCompiler from OCaml to Javascript.
OCaml Other UpdatedFeb 29, 2024 -
{{ message }}