-
-
or-tools Public
Forked from google/or-toolsGoogle's Operations Research tools:
C++ Apache License 2.0 UpdatedMar 8, 2026 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
weensyos-vmm Public
Forked from cs61/cs61-psets-f17Eddie Kohler's WeensyOS from Harvard CS61 problem sets for 2017
-
ocaml-ci Public
Forked from ocurrent/ocaml-ciA CI for OCaml projects
OCaml MIT License UpdatedFeb 2, 2026 -
-
ocaml-protoc Public
Forked from mransan/ocaml-protocA Protobuf Compiler for OCaml
OCaml MIT License UpdatedDec 31, 2025 -
pendmail Public
pending/snoozing/deferring mail until a given date in neomutt
Shell BSD 2-Clause "Simplified" License UpdatedSep 18, 2025 -
sundials Public
Forked from llnl/sundialsSUNDIALS is a SUite of Nonlinear and DIfferential/ALgebraic equation Solvers. This is a mirror of current releases, and development will move here eventually. Pull requests are not currently accept…
C BSD 3-Clause "New" or "Revised" License UpdatedJun 24, 2025 -
ocamlgraph Public
Forked from backtracking/ocamlgraphOCaml graph library
OCaml Other UpdatedNov 10, 2024 -
coq-dpdgraph Public
Forked from rocq-community/coq-dpdgraphBuild dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Coq GNU Lesser General Public License v2.1 UpdatedJul 31, 2023 -
neos-server-ocaml-client Public
An OCaml client for NEOS server
-
ocaml-bdd Public
Forked from backtracking/ocaml-bddA simple BDD library for OCaml
OCaml Other UpdatedJan 20, 2022 -
artitoc Public
Simple generation of LaTeX table of contents and author index for proceedings
OCaml BSD 2-Clause "Simplified" License UpdatedJan 6, 2022 -
zelus Public
Forked from INRIA/zelusA synchronous language with ODEs
OCaml Other UpdatedDec 15, 2021 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedSep 15, 2021 -
svgtoquiz Public
Simple script for generating spaced repetition cards from svg images
Python BSD 2-Clause "Simplified" License UpdatedJul 3, 2021 -
mnemojojo Public
Obsolete J2ME App for reviewing Mnemosyne cards on low-powered mobile phones
Java GNU General Public License v2.0 UpdatedJul 3, 2021 -
mnemogogo Public
Obsolete Mnemosyne plugin for reviewing cards on mobile devices
Python UpdatedJul 3, 2021 -
mnemododo Public
Obsolete Android app for the Mnemosyne spaced repetition program
Java GNU General Public License v2.0 UpdatedJul 3, 2021 -
ocamlgraph-johnson-cycles Public
Johnson's algorithm to calculate all cycles in a graph
-
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 UpdatedMar 27, 2021 -
-
mpri-sync-bdd Public
OCaml Toplevel with BDDs for MPRI Parallélisme synchrone
-
ocamlmpi Public
Forked from xavierleroy/ocamlmpiOCaml/MPI interface
OCaml Other UpdatedSep 6, 2020 -
bootstrap Public
Forked from twbs/bootstrapThe most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
CSS MIT License UpdatedDec 19, 2019 -
mnemo-cat_colors Public
Mnemosyne 1.1 plugin for setting a background color per category
-
ocaml-cow Public
Forked from mirage/ocaml-cowCaml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.
OCaml Other UpdatedJul 30, 2019 -
mambo-opensource Public
Forked from parrot-opensource/mambo-opensourceOpen Source Software used in Parrot Mambo
C UpdatedJun 26, 2019 -
ocaml-orgmode Public
Rough-and-ready processing of orgmode headlines with dates
{{ message }}