dannywillems/dsubml

Stars
9
Rank 1,939,727 (Top 39 %)
Language
OCaml
Created over 7 years ago
Updated about 3 years ago

dannywillems/dsubml

dannywillems

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

OCaml implementation of DSub, a ML like language with subtyping and path dependent types.

ocaml-for-web-programming

OCaml for web programming

RML

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 OCaml

docker-qtcreator

Docker container for qtcreator

ocaml-influxdb

OCaml interface to the time series database InfluxDB

ocaml-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 students

minilibx

Minilibx, a basic graphical library in C for 42 and Epitech students

ocaml-arduino

Arduino information to run OCaml on Arduino

Makefiles

List of makefiles for different projects

types-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 object

ocaml-js-stdlib

Binding in OCaml to the javascript standard library

docker-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 DLT

js_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 file

latex-macros-math

A set of LaTeX macro for mathematics

terminator

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 OCaml

setup-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 OCaml

ocaml-carray

contiguous C arrays in OCaml

ocaml-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/tezos

ocaml-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 OCaml

ocaml-ff

opensource-alternative

List of existing and must-have open source alternatives to popular softwares.

ocaml-cordova-plugin-sms-example

Example of the binding to the sms cordova plugin.

rapport-de-stage

Rapport de stage de master 2

umons-latex-rapport-de-stage-template

Template LaTeX pour un rapport de stage pour l'UMons.