DrRuisseau
VErY eXPeriEnCEd GRAVITY FIGHTER, ExCiTED tO sHArE mY kNoWLeDge! I am not a technology nerd!11!!! Also, i'm so sorry for my geniusness and successness. =)
Pinned Repositories
2006_03_Homotopy_lambda_calculus
Voevodsky's 2006 paper on homotopy lambda calculus
cubical-hott-agda
Version of the HoTT-Agda library based on Cubical Agda
dotty
The Scala 3 compiler, also known as Dotty.
duct
DUCT is a Scala 3 category theory and functional programming library
kagera
A discrete, colored Petri Net DSL and executor
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Publications
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
scala3-trust-issues
SymmetryBook
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.
telegram-bot-fs2
Example telegram bot implementation using fs2 and http4s client (no akka)
DrRuisseau's Repositories
DrRuisseau/dotty
The Scala 3 compiler, also known as Dotty.
DrRuisseau/Mastering-Functional-Programming
Mastering Functional Programming, published by Packt
DrRuisseau/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
DrRuisseau/Publications
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
DrRuisseau/agda-algebras-forky
The Agda Universal Algebra Library (html docs available at the url below)
DrRuisseau/cats-effect-tutorial-forky
DrRuisseau/creative-scala-book-forky
Quick, graphical, fun introduction to programming in Scala.
DrRuisseau/DeepLearning-lenses-idris-fork
Neural networks using lenses in Idris
DrRuisseau/devenv-fork
Fast, Declarative, Reproducible, and Composable Developer Environments
DrRuisseau/dry-lang-fork
A high-level programming language written in Scala
DrRuisseau/github-trends-forky
🚀 Level up your GitHub profile readme with customizable cards including LOC statistics!
DrRuisseau/HVM
A massively parallel, optimal functional runtime in Rust
DrRuisseau/Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
DrRuisseau/intuitionistic-logic-forky
Metatheorems about intuitionistic logic, cubically!
DrRuisseau/Kind
A next-gen functional language
DrRuisseau/Kindelia-forky
An efficient, secure cryptocomputer
DrRuisseau/kyo
Toolkit for Scala Development
DrRuisseau/morg-fork
Organize mathematical thoughts
DrRuisseau/nannou
A Creative Coding Framework for Rust.
DrRuisseau/ngn-k-tutorial
An ngn/k tutorial.
DrRuisseau/odersky.github.io-forky
DrRuisseau/ox
Developer-friendly structured concurrency library for the JVM
DrRuisseau/qdrant
Qdrant - High-performance, massive-scale Vector Database for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/
DrRuisseau/realizability-fork
Experiments with Realizability in Cubical Agda
DrRuisseau/soft-serve-fork
The mighty, self-hostable Git server for the command line🍦
DrRuisseau/synthetic-geometry-forky
Synthetic geometry. Probably mostly algebraic geometry.
DrRuisseau/synthetic-topos-theory-fork
DrRuisseau/typo
Typed Postgresql integration for Scala. Hopes to avoid typos
DrRuisseau/uiua_fork
A stack-based array programming language
DrRuisseau/zed-forky
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.