Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by dannywillems
A curated list of projects in awesome lists by dannywillems .
https://github.com/dannywillems/ocaml-for-web-programming
OCaml for web programming
Last synced: 28 Oct 2024
https://github.com/dannywillems/rml
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
dependent-types module ocaml records subtype
Last synced: 28 Oct 2024
https://github.com/dannywillems/RML
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
dependent-types module ocaml records subtype
Last synced: 03 Aug 2024
https://github.com/dannywillems/ocaml-cordova-plugin-list
List of bindings in OCaml to cordova plugins.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-cordova
Create your own Cordova plugin in OCaml
Last synced: 12 Oct 2024
https://github.com/dannywillems/dsubml
OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
Last synced: 12 Oct 2024
https://github.com/dannywillems/minilibx-mac-osx
Minilibx (native version for Mac OSX), a basic graphical library in C for 42 and Epitech students
Last synced: 12 Oct 2024
https://github.com/dannywillems/docker-qtcreator
Docker container for qtcreator
Last synced: 12 Oct 2024
https://github.com/dannywillems/zkacademy
A place to learn ZK with Jupyter
academy education elliptic-curves finite-fields kzg plonk starks zk zk-snarks
Last synced: 28 Oct 2024
https://github.com/dannywillems/js_of_ocaml_libraries
DEPRECATED: See https://github.com/dannywillems/ocaml-for-web-programming.
Last synced: 12 Oct 2024
https://github.com/dannywillems/minilibx
Minilibx, a basic graphical library in C for 42 and Epitech students
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-influxdb
OCaml interface to the time series database InfluxDB
influxdb ocaml timeseries-database
Last synced: 12 Oct 2024
https://github.com/dannywillems/types-and-programming-languages-pierce-implementation
Implementation in different programming languages of exercices given in « Types and Programming Languages » by Benjamin C. Pierce.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-materializecss
Create HTML elements in OCaml using Material Design (MaterializeCSS)
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-arduino
Arduino information to run OCaml on Arduino
Last synced: 12 Oct 2024
https://github.com/dannywillems/makefiles
List of makefiles for different projects
Last synced: 12 Oct 2024
https://github.com/dannywillems/easy-install
Manage easily the installation of your softwares.
Last synced: 12 Oct 2024
https://github.com/dannywillems/jsoo-lib
Additional functions to js_of_ocaml bindings to Javascript standard library.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-cordova-plugin-push-notifications
Binding in OCaml to phonegap-plugin-push using gen_js_api.
Last synced: 12 Oct 2024
https://github.com/dannywillems/master-thesis
My master thesis on RML : In French.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-cordova-example
Example of the binding to the cordova object
Last synced: 12 Oct 2024
https://github.com/dannywillems/docker-ocsigen-start
Docker container for ocsigen-start.
Last synced: 12 Oct 2024
https://github.com/dannywillems/py-keum
Modular elliptic curve library in Python. Do not use in production.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-js-stdlib
Binding in OCaml to the javascript standard library
Last synced: 12 Oct 2024
https://github.com/dannywillems/tezos-white-paper
Tezos White Paper. See https://github.com/tezos/tezos.
Last synced: 12 Oct 2024
https://github.com/dannywillems/radix-dlt-python
Python client to Radix DLT
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-node-list
List of OCaml bindings to NodeJS packages using gen_js_api.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-gadt-playground
Play with GADT in OCaml
Last synced: 12 Oct 2024
https://github.com/dannywillems/vim-icalendar
Vim plugin for icalendar files. Based on Steven Severinghaus syntax file
Last synced: 12 Oct 2024
https://github.com/dannywillems/js_of_ocaml_exercices
List of exercices to learn how to use js_of_ocaml.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-cordova-plugin-geolocation
Binding in OCaml to cordova-plugin-geolocation using gen_js_api.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-bls12-381
Fast BLS12-381 implementation in OCaml
bls-signature bls12-381 blst cryptography fft hash-to-curve ocaml pairing pairing-cryptography poseidon rescue signatures tezos zero-knowledge
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-cordova-plugin-qrscanner
Binding in OCaml to cordova-plugin-qrscanner using gen_js_api.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-cordova-plugin-sms-example
Example of the binding to the sms cordova plugin.
Last synced: 12 Oct 2024
https://github.com/dannywillems/latex-macros-math
A set of LaTeX macro for mathematics
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-cordova-plugin-vibration
Binding in OCaml to cordova-plugin-vibration using gen_js_api.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-bootstrap
OCaml + Tyxml + bootstrap = typed, W3C conformed, beautiful HTML pages in few lines.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-cordova-plugin-vibration-example
Example of the binding to the vibration cordova plugin.
Last synced: 12 Oct 2024
https://github.com/dannywillems/shell-mina-config
Shell configuration to work in MinaProtocol/mina
Last synced: 12 Oct 2024
https://github.com/dannywillems/terminator
Terminator: console emulator. Mirror.
Last synced: 12 Oct 2024
https://github.com/dannywillems/seum
OCaml DSL and tool to write and compare programs in assembly, in a typed and "safe" fashion way. Why? Because I have "le seum" to write them.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-microservice-cropping-picture
A microservice with database to crop picture written in OCaml.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-microservices
WIP. A list of ready-to-use microservices written in OCaml.
Last synced: 12 Oct 2024
https://github.com/dannywillems/setup-scripts
Scripts I use when I need to setup a new dev machine for me.
Last synced: 12 Oct 2024
https://github.com/dannywillems/opensource-alternative
List of existing and must-have open source alternatives to popular softwares.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-ec
Play with elliptic curves in OCaml
Last synced: 12 Oct 2024
https://github.com/dannywillems/rapport-de-stage
Rapport de stage de master 2
Last synced: 12 Oct 2024
https://github.com/dannywillems/os-oauth2-openid-connect-client-example
OAuth2 and OpenID Connect client example using ocsigen-start.
Last synced: 12 Oct 2024
https://github.com/dannywillems/umons-latex-rapport-de-stage-template
Template LaTeX pour un rapport de stage pour l'UMons.
Last synced: 12 Oct 2024
https://github.com/dannywillems/tezos-position-paper
Tezos Position paper. See https://github.com/tezos/tezos
Last synced: 12 Oct 2024
https://github.com/dannywillems/scala-micro-service-user
Micro service for basic user management, written in Scala.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocsigen-cms
CMS written in OCaml with Ocsigen and WordPress ecosystem compatibility.
Last synced: 12 Oct 2024
https://github.com/dannywillems/optimism-network-infra
Scripts to bootstrap a Optimism infrastructure
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-read-and-format-input
An input reader and parser in OCaml.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocsigen-mobile-push-notification-example
Ocsigen example for mobile push notifications.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-node-phantomjs
Binding OCaml to phantomjs using gen_js_api
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-rust-experimentation
Experimentation of OCaml/Rust bindings
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-otp
One Time Password authentication in OCaml.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-missing-packages
A list of missing libraries in OCaml.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-minilibx
Bindings OCaml to minilibx library.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-libnotify
Binding OCaml to libnotify library.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-heteregenuous-list
Heteregenuous list in OCaml, using GADTs
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-cordova-plugin-toast-example
Example of the binding to the toast cordova plugin.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-cryptokit
Mirror of cryptokit repository on OCaml Forge
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-experimentation
Various OCaml experimentations
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-galen-framework
Binding OCaml to galenframework JS API using BuckleScript.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocaml-cordova-plugin-videoplayer-example
Example of the binding to the video player cordova plugin.
Last synced: 12 Oct 2024
https://github.com/dannywillems/umons-latex-memoire-template
LaTeX template for UMons master thesis.
Last synced: 12 Oct 2024
https://github.com/dannywillems/umons-beamer-theme
Beamer Theme for UMons. Mirror of the forge.
Last synced: 12 Oct 2024
https://github.com/dannywillems/uniffi-kimchi
Attempt to use uniffi with kimchi
Last synced: 12 Oct 2024
https://github.com/dannywillems/tk_hadonejob
See images from hadOneJob.com in a simple window.
Last synced: 12 Oct 2024
https://github.com/dannywillems/umons-latex-memoire-template-manual
Manual of the LaTeX template for UMons master thesis.
Last synced: 12 Oct 2024
https://github.com/dannywillems/rust-usize-overflow
Testing rust usize overflow
Last synced: 12 Oct 2024
https://github.com/dannywillems/rust-wasm-game-of-life-training
Game of Life in rust running in the browser
Last synced: 12 Oct 2024
https://github.com/dannywillems/sdd.ii.ors.modelio
Diagramme UML du projet de structures de données II ORS.
Last synced: 12 Oct 2024
https://github.com/dannywillems/read-and-format-input
An input reader and parser in multiple languages.
Last synced: 12 Oct 2024
https://github.com/dannywillems/pymerkle
Simple merkle tree implementation in Python
Last synced: 12 Oct 2024
https://github.com/dannywillems/python-one-liners
One liners in Python for common tasks
Last synced: 12 Oct 2024
https://github.com/dannywillems/supply-attack-legit-library-rust-traits
Supply attacks with a legit library and rust traits
Last synced: 12 Oct 2024
https://github.com/dannywillems/supply-attack-rust-traits-fake-lib
Supply attacks with a legit library and rust traits - example library
Last synced: 12 Oct 2024
https://github.com/dannywillems/project-list
List of projects ideas : do what you want with it.
Last synced: 12 Oct 2024
https://github.com/dannywillems/os-oauth2-openid-connect-server-example
OAuth2 and OpenID Connect server example using ocsigen-start.
Last synced: 12 Oct 2024
https://github.com/dannywillems/python-micro-service-comments
A micro service to manage comments written in Python.
Last synced: 12 Oct 2024
https://github.com/dannywillems/opensource-manifesto
Manifesto for open sources.
Last synced: 12 Oct 2024
https://github.com/dannywillems/ocsigen-mobile-template
Basic Ocsigen template for a mobile and website application with client and server part.
Last synced: 12 Oct 2024
https://github.com/dannywillems/opam-setup-environment-list
Install easily an opam setup environment.
Last synced: 12 Oct 2024