Explore projects
-
Seb Mondet / vimebac
BSD Zero Clause LicenseVisual Metronome and Band Conductor driven by JACK/MiDI
Updated -
-
An implementation of optimisation heuristics for the TSP, designed to run in less than two seconds on 1000-cities input
Updated -
Nomadic Labs / Tezt
MIT LicenseA test framework for OCaml, suited for writing and executing unit, integration and regression tests and focusing on user experience.
Updated -
Simply typed lambda calculus engine made with OCaml (2021, Programmation fonctionnelle)
Updated -
Danni Friedland / reason-nach
Apache License 2.0ReasonML based ACH file encoder/validator/decoder
Updated -
Projet de Logique en L3 licence Informatique Université Paris Cité.
Création d'une calculatrice sans limite de taille sur les entiers
Updated -
L. Wzukw / pomodoro
CeCILL-B Free Software License AgreementA light & fast pomodoro timer. https://pomodoro.ml
Updated -
L. Wzukw / OcLaunch
CeCILL Free Software License Agreement v2.1Launch automagically! See http://oclaunch.eu.org
The purpose of OcLaunch is to easily launch command once per session. For instance, open a different program, one by one, each time you open your terminal. More at http://ocla.ml
Updated -
-
-
Tim McGilchrist / ocaml-gitlab
BSD 3-Clause "New" or "Revised" LicenseNative OCaml bindings to Gitlab REST API v4 - Mirror of https://github.com/tmcgilchrist/ocaml-gitlab
Updated -
Date : 2019
Updated -
-
gadmm / ocaml
GNU Lesser General Public License v2.1 onlyFork of https://github.com/ocaml/ocaml
Updated -
-
-
Kiran Gopinathan / libre-ref
GNU Affero General Public License v3.0Free as in freedom Digital Referencing tool for Artists.
Updated -
Formally verified cryptocurrency smart contracts using game semantics in Coq
Updated -