DrRuisseau

duct

DUCT is a Scala 3 category theory and functional programming library

kagera

A discrete, colored Petri Net DSL and executor

apery

A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

cicada

Cicada Language

coq-algs

Formally verified algorithms in Coq: concepts and techniques

CoqCat

Formalization of Category Theory in Coq.

daily-coding-problem

Solutions to many of the exercises from daily coding problem: https://www.dailycodingproblem.com

diffson

A scala diff/patch library for Json

fcsl-pcm

Partial Commutative Monoids

fiat

Mostly Automated Synthesis of Correct-by-Construction Programs

frontier

Fast, efficient, pure-functional, effect-free websocket, http and udp server, http client and telegram bot

glicol

Graph-oriented live coding language and music DSP library written in Rust

http4s-spa

Helpers for building a http4s Single Page Application with Scala.js using ES-Modules and Import Maps

ohtt-forky

H.O.T.T. using rewriting in Agda

pdqsort

Pattern-defeating quicksort.

s2gen

A simple static site generator written in Scala

scala-best-practices-cheatsheet-nedelcu

A collection of Scala best practices

scala-http4s-zio-doobie-workshop

Introduction to pure functional programming using effects with zio, http4s, fs2 and doobie.

stoneshard-save-editor

Save file editor for Stoneshard

suslik

Synthesis of Heap-Manipulating Programs from Separation Logic

TIP_learn

Static program analysis for TIP

TypeTheory

The mathematical study of type theories, in univalent foundations

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

VV-C-system-from-a-monad

This repository contains various versions of Voevodsky's paper "C-system of a module over a Jf-relative monad"

workshops

All programming workshops prepared by me.

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

zio-ecosystem

Ziverge Hack Day (December 2021)

zio-petclinic-scala-3

Updated zio-petclinic example app to use Scala 3

zio-todo