Discover @dannywillems Open Source projects

Danny Willems (@dannywillems)

dannywillems

Stars
258
Global Rank 100,643 (Top 4 %)
Followers 101
Following 86
Registered about 11 years ago
Most used languages

OCaml
42.1 %

TeX
15.8 %

Makefile 13.2 %

Python
7.9 %

C
5.3 %

Shell
5.3 %

Assembly
2.6 %

Scala
2.6 %

JavaScript
2.6 %

Vim Script
2.6 %
Location 🇧🇪 Belgium
Country Total Rank 537
Country Ranking

OCaml
4

Makefile 10

TeX
30

Assembly
41

Vim Script
47

Scala
83

C
202

Shell
508

Python
820

JavaScript
2,543

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

dsubml

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

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.