Pinned Repositories
morbig
A static parser for POSIX Shell
FreeSpec
A framework for implementing and certifying impure computations in Coq
learn-ocaml
A Web Application for Learning OCaml
cts
Material for Static Differentiation in Cache Transfer Style
hj
The Hack Dojo
menhir-error-recovery
mpri13
ML type inference in presence of type classes
ocaml-crontab
Interacting with cron from OCaml
ocaml4.04.0-copatterns
An extension of OCaml with Copatterns
pcomp-2019
Repository of the course "Comparative Programming" of University Paris Diderot
yurug's Repositories
yurug/hj
The Hack Dojo
yurug/mpri13
ML type inference in presence of type classes
yurug/ocaml4.04.0-copatterns
An extension of OCaml with Copatterns
yurug/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
yurug/coqepit
Your research in Coq
yurug/cuty
yurug/hjc
Command-line client for Hackojo
yurug/idefix
yurug/laby
Learn programming, playing with ants and spider webs ;-)
yurug/learn-ocaml
A Web Application for Learning OCaml
yurug/manifesto
Documentation for the ocaml-community organization.
yurug/mdl-components-ext
Component extensions for the official Material Design Lite library
yurug/mtac2
yurug/progomatic
yurug/sourir