Projects in Awesome Lists by d-plaindoux
A curated list of projects in awesome lists by d-plaindoux .
https://github.com/d-plaindoux/transept
An OCaml modular and generalised parser combinator library.
modular monad ocaml-library parser-combinators
Last synced: 17 Mar 2025
https://github.com/d-plaindoux/mfun
Micro functional langage
compiler embedded-language functional-programming parser-combinators
Last synced: 03 Sep 2025
https://github.com/d-plaindoux/parsec.kotlin
Kotlin Parser combinators
extension-functions functional-programming kotlin monad parser-combinators
Last synced: 17 Mar 2025
https://github.com/d-plaindoux/celma
Library for generalised parser combinators and a dedicated meta-language in Rust
compiler generic meta-language parser-combinators pipeline procedural-macro rust-lang
Last synced: 17 Mar 2025
https://github.com/d-plaindoux/tyasta
A journey with F*
dependent-types paper-implementations proof type-checking
Last synced: 06 Feb 2026
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: 17 Mar 2025
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: 09 Jul 2025
https://github.com/d-plaindoux/alda
Intuitive and simple to use OCaml parsec
functional-programming parser-combinators
Last synced: 13 Aug 2025
https://github.com/d-plaindoux/hpas
Functional ADT And Asynchronous stuff in Java
asynchronous functional-programming monadic-interface
Last synced: 02 Apr 2025
https://github.com/d-plaindoux/magnet-js
Javascript Multi-Agent framework
agent asynchronous coordinator message-passing promise
Last synced: 03 Mar 2026
https://github.com/d-plaindoux/apacen-lang
Constraint logic programming language
constraints prolog-programming-language solver
Last synced: 24 Jan 2026
https://github.com/d-plaindoux/apacen
Constraint logic programming language
constraints prolog-programming-language solver
Last synced: 11 Jun 2025
https://github.com/d-plaindoux/suitcase.py
Simple and convenient python library dedicated to Pattern Matching
Last synced: 15 May 2026
https://github.com/d-plaindoux/zig-overview
Zig overview presentation and material
Last synced: 29 Jun 2026
https://github.com/d-plaindoux/fluent-rest
Fluent REST decorators (annotations) dedicated to Web framework
Last synced: 02 Apr 2025
https://github.com/d-plaindoux/jwtks
A Rust library for JWT and JWKS support
Last synced: 02 Apr 2025
https://github.com/d-plaindoux/retroid
Web application dedicated to Android Device display and interaction
Last synced: 11 Jan 2026
https://github.com/d-plaindoux/scalpel
Scalpel is a parser combinator library using path depend type capability
dependent-types parser-combinators
Last synced: 29 Mar 2025
https://github.com/d-plaindoux/scala-shop
"Scala Parsers Combinators" coding dojo
Last synced: 30 Aug 2025
https://github.com/d-plaindoux/tutorials
Set of tutorials dedicated to Java and dedicated frameworks
Last synced: 02 Apr 2025
https://github.com/d-plaindoux/promiseme.js
Monadic promise built on top of Promise/A+ specification
async functional-programming monad
Last synced: 02 Apr 2025
https://github.com/d-plaindoux/rust-meta-compilation
Rust meta-compilation presentation
Last synced: 18 Jun 2025
https://github.com/d-plaindoux/self-type
Talk "Typage dynamique de l'objet courant"
nominal structural subtyping talk
Last synced: 16 Feb 2026
https://github.com/d-plaindoux/page
Bi-directional template language providing parser and generator capabilities.
Last synced: 21 Jul 2026
https://github.com/d-plaindoux/zigma
Zig signature implementation framework
Last synced: 29 Jun 2026
https://github.com/d-plaindoux/openstack-clients
Based on rAPIdo language we provide a specification for each OpenStack components based on REST.
Last synced: 11 Jan 2026