Ecosyste.ms: Awesome

https://github.com/d-plaindoux/transept

An OCaml modular and generalised parser combinator library.

modular monad ocaml-library parser-combinators

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/suitcase

Java Pattern Matching library

pattern-matching

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/mfun

Micro functional langage

compiler embedded-language functional-programming parser-combinators

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/parsec.kotlin

Kotlin Parser combinators

extension-functions functional-programming kotlin monad parser-combinators

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/celma

Library for generalised parser combinators and a dedicated meta-language in Rust

generic meta-language parser-combinators pipeline rust-lang

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/thicket

Strong typed functional programming language dedicated to backend and web applications

functional-programming javascript language strongly-typed

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/tyasta

A journey with F*

dependent-types paper-implementations proof type-checking

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/parsec.rust

Rust Parser Combinators

monad no-gc parser zero-copy

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/rust-traits

[Talk] Programmation par Traits sous l'influence de la gestion mémoire

ad-hoc memory parametric-polymorphism rust talk trait

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/hpas

Functional ADT And Asynchronous stuff in Java

asynchronous functional-programming monadic-interface

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/alda

Intuitive and simple to use OCaml parsec

functional-programming parser-combinators

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/magnet

Javascript Multi-Agent framework

agent asynchronous coordinator message-passing promise

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/colca

Mobile Ambient in Agda

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/suitcase.py

Simple and convenient python library dedicated to Pattern Matching

dsl pattern-matching python

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/rapido

An HTTP API specification language

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/talks_n_blog

Talks & Blog

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/openstack-clients

Based on rAPIdo language we provide a specification for each OpenStack components based on REST.

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/self-type

Talk "Typage dynamique de l'objet courant"

nominal structural subtyping talk

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/page

Bi-directional template language providing parser and generator capabilities.

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/light.js

Light library for WebComponents

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/lexer-kata

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/jwtks

A Rust library for JWT and JWKS support

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/retroid

Web application dedicated to Android Device display and interaction

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/promiseme.js

Monadic promise built on top of Promise/A+ specification

async functional-programming monad

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/scala-shop

"Scala Parsers Combinators" coding dojo

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/tutorials

Set of tutorials dedicated to Java and dedicated frameworks

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/fluent-rest

Fluent REST decorators (annotations) dedicated to Web framework

Last synced: 27 Oct 2024

https://github.com/d-plaindoux/bracket-purescript

Last synced: 27 Oct 2024