Explore projects
-
-
-
Simply typed lambda calculus engine made with OCaml (2021, Programmation fonctionnelle)
Updated -
-
L. Wzukw / pomodoro
CeCILL-B Free Software License AgreementA light & fast pomodoro timer. https://pomodoro.ml
Updated -
Date : 2019
Updated -
-
-
-
All projects from my functional programming course in the first year of undergraduate at University of Warsaw.
Updated -
Gabriel Hondet / airspace_configuration
GNU General Public License v3.0 onlyRepartitioning of aircrafts navigation sectors among positions using Monte Carlo tree search
Updated -
gadmm / ocaml
GNU Lesser General Public License v2.1 onlyFork of https://github.com/ocaml/ocaml
Updated -
-
-
Danni Friedland / reason-nach
Apache License 2.0ReasonML based ACH file encoder/validator/decoder
Updated -
Formally verified cryptocurrency smart contracts using game semantics in Coq
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 -
Marcello Seri / doto
MIT LicenseA very simple todo list manager. It is very much a work in progress, the api is likely to change and get polished over time, and I'm using it to start testing and getting acquainted with ocaml tools and libraries.
Updated -