There are no reviews yet. Be the first to send feedback to the community and the maintainers!
ocaml-for-web-programming
OCaml for web programmingRML
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.ocaml-cordova-plugin-list
List of bindings in OCaml to cordova plugins.web-ocaml-rust-tuto
List of tutorials/projects experiencing OCaml and Rust mixed code running together in the browser.ocaml-cordova
Create your own Cordova plugin in OCamldsubml
OCaml implementation of DSub, a ML like language with subtyping and path dependent types.docker-qtcreator
Docker container for qtcreatorocaml-influxdb
OCaml interface to the time series database InfluxDBocaml-materializecss
Create HTML elements in OCaml using Material Design (MaterializeCSS)js_of_ocaml_libraries
DEPRECATED: See https://github.com/dannywillems/ocaml-for-web-programming.minilibx-mac-osx
Minilibx (native version for Mac OSX), a basic graphical library in C for 42 and Epitech studentsminilibx
Minilibx, a basic graphical library in C for 42 and Epitech studentsocaml-arduino
Arduino information to run OCaml on ArduinoMakefiles
List of makefiles for different projectstypes-and-programming-languages-pierce-implementation
Implementation in different programming languages of exercices given in Β« Types and Programming Languages Β» by Benjamin C. Pierce.jsoo-lib
Additional functions to js_of_ocaml bindings to Javascript standard library.ocaml-cordova-plugin-push-notifications
Binding in OCaml to phonegap-plugin-push using gen_js_api.easy-install
Manage easily the installation of your softwares.master-thesis
My master thesis on RML : In French.awesome-books-articles
A list of awesome books, articles and websites of several subjects like mathematical logic, type theory, category theory.ocaml-cordova-example
Example of the binding to the cordova objectocaml-js-stdlib
Binding in OCaml to the javascript standard librarydocker-ocsigen-start
Docker container for ocsigen-start.tezos-white-paper
Tezos White Paper. See https://github.com/tezos/tezos.radix-dlt-python
Python client to Radix DLTjs_of_ocaml_exercices
List of exercices to learn how to use js_of_ocaml.ocaml-node-list
List of OCaml bindings to NodeJS packages using gen_js_api.vim-icalendar
Vim plugin for icalendar files. Based on Steven Severinghaus syntax filelatex-macros-math
A set of LaTeX macro for mathematicsterminator
Terminator: console emulator. Mirror.ocaml-cordova-plugin-qrscanner
Binding in OCaml to cordova-plugin-qrscanner using gen_js_api.os-oauth2-openid-connect-client-example
OAuth2 and OpenID Connect client example using ocsigen-start.ocaml-microservices
WIP. A list of ready-to-use microservices written in OCaml.ocaml-css
Typed CSS in OCamlsetup-scripts
Scripts I use when I need to setup a new dev machine for me.ocaml-bootstrap
OCaml + Tyxml + bootstrap = typed, W3C conformed, beautiful HTML pages in few lines.ocaml-ec
Play with elliptic curves in OCamlocaml-carray
contiguous C arrays in OCamlocaml-cordova-plugin-vibration-example
Example of the binding to the vibration cordova plugin.ocaml-cordova-plugin-geolocation
Binding in OCaml to cordova-plugin-geolocation using gen_js_api.tezos-position-paper
Tezos Position paper. See https://github.com/tezos/tezosocaml-cordova-plugin-vibration
Binding in OCaml to cordova-plugin-vibration using gen_js_api.scala-micro-service-user
Micro service for basic user management, written in Scala.ocaml-microservice-cropping-picture
A microservice with database to crop picture written in OCaml.ocaml-bls12-381
Fast BLS12-381 implementation in OCamlocaml-ff
ocaml-cordova-plugin-sms-example
Example of the binding to the sms cordova plugin.rapport-de-stage
Rapport de stage de master 2umons-latex-rapport-de-stage-template
Template LaTeX pour un rapport de stage pour l'UMons.Love Open Source and this site? Check out how you can help us