-
Ledger
- Paris, France
- https://chrilves.github.io
Block or Report
Block or report chrilves
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
kuzh Public
Questions/Réponses Anonymes
-
vopono Public
Forked from jamesmcm/voponoRun applications through VPN tunnels with temporary network namespaces
Rust GNU General Public License v3.0 UpdatedJun 18, 2023 -
hyper-tungstenite-rs Public
Forked from de-vri-es/hyper-tungstenite-rswebsockets for hyper servers, backed by tungstenite
Rust BSD 2-Clause "Simplified" License UpdatedMay 16, 2023 -
-
slimetrail.scalajs Public
Slimetrail game in ScalaJS (http:https://www.di.fc.ul.pt/~jpn/gv/slimetrail.htm)
-
gadt.scala Public
Generalized Algebraic Data Types example in Scala
-
typed Public
Category Theory implementation in Scala heavily using techniques from Dependent Types
Scala MIT License UpdatedMar 30, 2023 -
hugo-theme-learn Public
Forked from matcornic/hugo-theme-learnPorting Grav Learn theme to Hugo
HTML MIT License UpdatedMar 30, 2023 -
KaTeX Public
Forked from KaTeX/KaTeXFast math typesetting for the web.
JavaScript MIT License UpdatedMar 23, 2023 -
open-baskerville Public
Forked from klepas/open-baskervilleAn open font project to create a revival of Fry’s Baskerville
Python GNU General Public License v3.0 UpdatedAug 12, 2022 -
raffiot.py Public
Robust And Fast Functional IO Toolkit
-
-
scala-seed.g8 Public
Forked from scala/scala-seed.g8Giter8 template for a simple hello world app in Scala.
Scala Creative Commons Zero v1.0 Universal UpdatedAug 3, 2020 -
-
gospeak Public
Forked from gospeak-io/gospeakA platform to help meetup organizers and speakers grow together
Scala Apache License 2.0 UpdatedFeb 24, 2020 -
-
auto-batch Public
Automatic Batching of API calls Scala Library
-
validation Public
Forked from jto/validationvalidation api extracted from play
-
paris-idris-group-vms Public
Virtual Machines for the Paris Idris Group
GNU General Public License v3.0 UpdatedSep 4, 2019 -
-
-
precepte Public
Forked from MfgLabs/preceptePrécepte is an opinionated scala monitoring library
Scala Other UpdatedApr 16, 2019 -
-
big4-tutorial Public
Tutorial on programming with Dependent Types in Idris, Coq, Agda and FStar using Category Theory as use case.
-
Gadts.hx Public
Generalized Algebraic Data Types examples in Haxe
-
-
-
-
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedAug 1, 2017 -
scala-js Public
Forked from scala-js/scala-jsScala.js, the Scala to JavaScript compiler
Scala BSD 3-Clause "New" or "Revised" License UpdatedJun 30, 2017