-
belenios Public
Verifiable online voting system. This is a mirror of https://gitlab.com/vcast.vote/belenios
-
-
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedMar 31, 2025 -
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedFeb 26, 2025 -
-
dune-deps Public
Forked from mjambon/dune-depsShow the internal dependencies in your OCaml/Reason/Dune project
OCaml BSD 3-Clause "New" or "Revised" License UpdatedJan 8, 2025 -
tlapm Public
Forked from tlaplus/tlapmThe TLA Proof Manager
OCaml BSD 2-Clause "Simplified" License UpdatedDec 11, 2024 -
tlaplus Public
Forked from tlaplus/tlaplusTLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Java MIT License UpdatedNov 25, 2024 -
camljava Public
Forked from xavierleroy/camljavaLow-level OCaml/Java interface
C UpdatedAug 4, 2024 -
ocamldap Public
Forked from kit-ty-kate/ocamldapOcamldap is an implementation of the Light Weight Directory Access Protocol
OCaml Other UpdatedJul 31, 2024 -
ocaml-duppy Public
Forked from savonet/ocaml-duppyOCaml asynchronous scheduler and monad for server-oriented programming.
OCaml GNU Lesser General Public License v2.1 UpdatedJan 2, 2024 -
eliom Public
Forked from ocsigen/eliomMulti-tier framework for programming web and mobile applications in OCaml.
OCaml Other UpdatedSep 23, 2023 -
hol-light Public
Forked from jrh13/hol-lightThe HOL Light theorem prover
OCaml Other UpdatedSep 7, 2023 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
ocsigenserver Public
Forked from ocsigen/ocsigenserverWeb server in OCaml.
OCaml Other UpdatedAug 23, 2023 -
ocaml-re Public
Forked from ocaml/ocaml-rePure OCaml regular expressions, with support for Perl and POSIX-style strings
OCaml Other UpdatedAug 21, 2023 -
camlp5 Public
Forked from camlp5/camlp5Preprocessor / Pretty Printer for OCaml
OCaml Other UpdatedAug 12, 2023 -
liquidsoap Public
Forked from savonet/liquidsoapLiquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
OCaml GNU General Public License v2.0 UpdatedAug 3, 2023 -
nurpawiki Public
Forked from nurpax/nurpawikiWiki with integrated to-do list and scheduler
-
ocaml-opus Public
Forked from savonet/ocaml-opusOCaml bindings for Opus audio codec.
C GNU General Public License v2.0 UpdatedJul 16, 2023 -
Condorcet-Voting-Open-Source-Ecosystem-Map Public
Forked from CondorcetVote/Condorcet-Voting-Open-Source-Ecosystem-MapCollaborative index of preferential voting open-source projects. Related to Condorcet vote method an others.
MIT License UpdatedMay 24, 2023 -
gsl-ocaml Public
Forked from mmottl/gsl-ocamlOCaml bindings to the GSL (GNU Scientific Library).
OCaml Other UpdatedDec 2, 2022 -
alcotest Public
Forked from mirage/alcotestA lightweight and colourful test framework
OCaml ISC License UpdatedNov 30, 2022 -
mirage-crypto Public
Forked from mirage/mirage-cryptoCryptographic primitives for MirageOS
C ISC License UpdatedDec 22, 2021 -
libyaml Public
Forked from yaml/libyamlCanonical source repository for LibYAML
C MIT License UpdatedDec 20, 2021 -
ocaml-benchmark Public
Forked from Chris00/ocaml-benchmarkBenchmarking module for OCaml
OCaml GNU Lesser General Public License v3.0 UpdatedDec 2, 2021 -
-
hal2cff Public
Forked from rprimet/hal2cffCreate a CITATION.cff file from HAL metadata.
Python BSD 3-Clause "New" or "Revised" License UpdatedNov 19, 2021 -
unison Public
Forked from bcpierce00/unisonUnison file synchronizer
-
{{ message }}