Christophe Calvès's repositories
vopono
Run applications through VPN tunnels with temporary network namespaces
hyper-tungstenite-rs
websockets for hyper servers, backed by tungstenite
slimetrail.scalajs
Slimetrail game in ScalaJS (http://www.di.fc.ul.pt/~jpn/gv/slimetrail.htm)
gadt.scala
Generalized Algebraic Data Types example in Scala
typed
Category Theory implementation in Scala heavily using techniques from Dependent Types
hugo-theme-learn
Porting Grav Learn theme to Hugo
KaTeX
Fast math typesetting for the web.
open-baskerville
An open font project to create a revival of Fry’s Baskerville
raffiot.py
Robust And Fast Functional IO Toolkit
scala-seed.g8
Giter8 template for a simple hello world app in Scala.
git-merge-dangers
The dangers of git merge
gospeak
A platform to help meetup organizers and speakers grow together
dotty-advent-of-code-2019
Advent Of Code 2019 in Dotty
auto-batch
Automatic Batching of API calls Scala Library
validation
validation api extracted from play
paris-idris-group-vms
Virtual Machines for the Paris Idris Group
coding-game.hx
Solutions and tools of Coding Game puzzles
precepte
Précepte is an opinionated scala monitoring library
big4-tutorial
Tutorial on programming with Dependent Types in Idris, Coq, Agda and FStar using Category Theory as use case.
elm-parser
Elm monadic parsers with generic input
f-algebra-talk
Présentation F-Algèbres et F-CoAlgèbres
CoSlide
ScalaJS Presentation Framework
Idris-dev
A Dependently Typed Functional Programming Language
scala-js
Scala.js, the Scala to JavaScript compiler