d-plaindoux
Freelance Software Developer Distributed Computing | Compiler Mastodon: @dplaindoux@functional.cafe
Freelance at FungusToulouse, France
Pinned Repositories
mfun
Micro functional langage
parsec.kotlin
Kotlin Parser combinators
suitcase
Java Pattern Matching library
transept
An OCaml modular and generalised parser combinator library.
ephel
Language mixing functional programming and Ambient Calculus
nethra
Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.
masala-parser
Javascript Generalized Parser Combinators
maitar
Rust library providing some functional programming idioms
pilin
A Kotlin multi-platform library providing some functional programming idioms and user defined effects.
preface
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
d-plaindoux's Repositories
d-plaindoux/suitcase
Java Pattern Matching library
d-plaindoux/transept
An OCaml modular and generalised parser combinator library.
d-plaindoux/mfun
Micro functional langage
d-plaindoux/parsec.kotlin
Kotlin Parser combinators
d-plaindoux/celma
Library for generalised parser combinators and a dedicated meta-language in Rust
d-plaindoux/Effekts
User defined effects for Kotlin multiplatform
d-plaindoux/tyasta
A journey with F*
d-plaindoux/parsec.rust
Rust Parser Combinators
d-plaindoux/rust-traits
[Talk] Programmation par Traits sous l'influence de la gestion mémoire
d-plaindoux/alda
Intuitive and simple to use OCaml parsec
d-plaindoux/hpas
Functional ADT And Asynchronous stuff in Java
d-plaindoux/magnet
Javascript Multi-Agent framework
d-plaindoux/colca
Mobile Ambient in Agda
d-plaindoux/developers-conferences-agenda
This repository list a maximum of conferences's date in order to help conferences organizers
d-plaindoux/talks_n_blog
Talks & Blog
d-plaindoux/biscuit-pulsar
d-plaindoux/coq-of-ocaml
Import OCaml programs to Coq 🐓 🐫
d-plaindoux/dartz
Functional programming in Dart
d-plaindoux/FA2
FA2 - ligo contract
d-plaindoux/generic-fa2.1
Generic FA2 and FA2.1 LIGO smart-contracts
d-plaindoux/jwtks
A Rust library for JWT and JWKS support
d-plaindoux/ktlint-gradle
A ktlint gradle plugin
d-plaindoux/ligo-koans
d-plaindoux/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
d-plaindoux/permit-cameligo
d-plaindoux/scala.io
The scala.io 2K2X code source
d-plaindoux/self-type
Talk "Typage dynamique de l'objet courant"
d-plaindoux/site-devfest-2019
d-plaindoux/slides2
Personal HTML/CSS Slide building system
d-plaindoux/yocaml
YOCaml is a static site generator, mostly written in OCaml