Skip to content
View DrRuisseau's full-sized avatar
🐲
SERENITY
🐲
SERENITY

Block or report DrRuisseau

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
13 results for forked starred repositories
Clear filter

A Nix flake for getting started with Scala.

Nix 1 Updated Mar 12, 2025

A curated list of awesome Scala frameworks, libraries and software.

4 1 Updated Mar 6, 2020

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

HTML 1 Updated Mar 10, 2025

Homotopy type theory

Coq 1 Updated Mar 10, 2020

An introductory course to Homotopy Type Theory

Agda 1 1 Updated Jan 1, 2021

Development of homotopy type theory in Agda

Agda 1 2 Updated Feb 26, 2020

Voevodsky's notes on type systems. This version contains more material than the one on his website.

11 1 Updated Jun 15, 2014

DUCT is a Scala 3 category theory and functional programming library

Scala 1 Updated Nov 21, 2022

Give your dependencies stars on GitHub!

Scala 1 1 Updated Feb 20, 2022

Example telegram bot implementation using fs2 and http4s client (no akka)

Scala 1 Updated May 7, 2022

A discrete, colored Petri Net DSL and executor

Scala 1 Updated Sep 25, 2022