d-plaindoux Goto Github PK

alda

Intuitive and simple to use OCaml parsec

bblfr_data

Brown Bag Lunch baggers database

biscuit-pulsar

bracket-purescript

callbackurlkit

Implementation of x-callback-url (Inter app communication) in swift

callforpapers

celma

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

colca

Mobile Ambient in Agda

combine

A parser combinator library for Rust

contrail

Extensible and Adaptable Network Components

coq-of-ocaml

Import OCaml programs to Coq 🐓 🐫

dartz

Functional programming in Dart

developers-conferences-agenda

This repository list a maximum of conferences's date in order to help conferences organizers

devfriendlyplaces

droidatscreen1

Show the screen of a real Android device on a PC

effekts

User defined effects for Kotlin multiplatform

elm

Exploration d'Elm avec frontale et lampe torche

elm-leaflet

This is an example showing how integrate Leaflet via Elm's ports.

erjang

A JVM-based Erlang VM

fa2

FA2 - ligo contract

fluent-rest

Fluent REST decorators (annotations) dedicated to Web framework

generic-fa2.1

Generic FA2 and FA2.1 LIGO smart-contracts

hpas

Functional ADT And Asynchronous stuff in Java

im-rs

Assorted immutable collection datatypes for Rust

jwtks

A Rust library for JWT and JWKS support

ktlint-gradle

A ktlint gradle plugin

lexer-kata

light.js

Light library for WebComponents

ligo-koans

logiciel-autrement

Écrire du logiciel autrement.