-
epic-guide.github.io Public
Forked from EPIC-guide/epic-guide.github.ioGuidebook for IC PhD life at EPFL
Dockerfile Other UpdatedAug 23, 2025 -
FormArith Public
Forked from bwerner/FormArithFor MPRI's 2-7-1 course: attempt to "bootstrap" the course by formalizing FOL, Arithmetic, Cut elimination a.o. in Coq
Coq BSD 2-Clause "Simplified" License UpdatedOct 1, 2024 -
jasmin.nvim Public
[MOVED] A simple colorscheme for Neovim
-
-
-
ocaml.org Public
Forked from ocaml/ocaml.orgThe official OCaml website.
HTML Other UpdatedJan 25, 2025 -
opam Public
Forked from ocaml/opamopam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
OCaml Other UpdatedOct 28, 2024 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedDec 12, 2023 -
-
-
qoi Public
Forked from phoboslab/qoiThe “Quite OK Image Format” for fast, lossless image compression
C MIT License UpdatedOct 25, 2025 -
riscv-card Public
Forked from jameslzhu/riscv-cardAn unofficial assembly reference for RISC-V.
TeX Creative Commons Attribution 4.0 International UpdatedAug 19, 2023 -
river Public
Forked from valoran-M/riverA dynamic tiling Wayland compositor
Zig GNU General Public License v3.0 UpdatedNov 13, 2023
{{ message }}