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