-
BeTeX Public
Forked from HaikuArchives/BeTeXLaTeX editor for BeOS/Zeta/Haiku
C MIT License UpdatedJun 25, 2025 -
-
haikuports Public
Forked from haikuports/haikuportsSoftware ports for the Haiku operating system.
Shell MIT License UpdatedJan 17, 2025 -
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedJan 15, 2025 -
set.mm Public
Forked from metamath/set.mmMetamath source file for logic and set theory
HTML Other UpdatedJan 12, 2025 -
metamath-exe Public
Forked from metamath/metamath-exeMetamath program - source code for the Metamath executable
C GNU General Public License v2.0 UpdatedJan 9, 2025 -
haiku Public
Forked from haiku/haikuThe Haiku operating system. (Pull requests will be ignored; patches may be sent to https://dev.haiku-os.org).
-
Preuves Public
Formal verifier for mathematics demonstrations. Based on the description of the first order logic WITH schemas by Patrick Dehornoy
-
lwt Public
Forked from ocsigen/lwtOCaml promises and concurrent I/O
OCaml MIT License UpdatedOct 2, 2024 -
base_bigstring Public
Forked from janestreet/base_bigstringString type based on Bigarray, for use in I/O and C-bindings
OCaml MIT License UpdatedOct 2, 2024 -
mm0 Public
Forked from digama0/mm0Metamath Zero specification language
Rust Creative Commons Zero v1.0 Universal UpdatedSep 25, 2024 -
-
merlin Public
Forked from ocaml/merlinContext sensitive completion for OCaml in Vim and Emacs
OCaml MIT License UpdatedSep 1, 2024 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedJun 16, 2024 -
website Public
Forked from haiku/websiteThe Haiku website. (Pull requests are accepted; please file issues at https://dev.haiku-os.org).
HTML UpdatedMay 30, 2024 -
CompCert Public
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler
Coq Other UpdatedApr 17, 2024 -
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 UpdatedApr 5, 2024 -
-
lablgtk Public
Forked from garrigue/lablgtkLablGTK 2 and 3: an interface to the GIMP Tool Kit ; intended to upgrade to lablGTK 4
OCaml Other UpdatedMar 30, 2024 -
maiko Public
Forked from Interlisp/maikoMedley Interlisp virtual machine
C MIT License UpdatedFeb 16, 2024 -
mtime Public
Forked from dbuenzli/mtimeMonotonic wall-clock time for OCaml
OCaml ISC License UpdatedNov 17, 2023 -
Vision Public
Forked from HaikuArchives/VisionA native Haiku IRC client that is feature filled, fast, lightweight, and stable.
< 5C7E span itemprop="programmingLanguage">C++ Other UpdatedNov 9, 2023 -
ocamlfind Public
Forked from ocaml/ocamlfindThe OCaml findlib library manager
OCaml Other UpdatedJul 21, 2022 -
-
phHaikuRecipes Public
Forked from pahefu/phHaikuRecipesRecipes for Haiku development
MIT License UpdatedDec 14, 2018
{{ message }}