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/menhir-error-recovery
yurug/ocaml-crontab
Interacting with cron from OCaml
yurug/pcomp-2019
Repository of the course "Comparative Programming" of University Paris Diderot
yurug/cts
Material for Static Differentiation in Cache Transfer Style
yurug/parsing-js-semicolon-insertion-hell
Demonstrate how Menhir could be used to deal with Javascript semicolon insertion
yurug/get-gitlab-forks
Retrieve all the forks of a gitlab project
yurug/poca-m2-2018
Cours POCA Master 2, Paris Diderot
yurug/distar
yurug/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
yurug/pencil
Yet another hyper-minimal template library
yurug/alca
Academic Life Curriculum Archive
yurug/archetype-lang
yurug/coqffi
Coq to OCaml FFI made easy
yurug/crontweet
Tweeter chrono table
yurug/FreeSpec
Compositional reasoning framework for the Coq proof assistant
yurug/learn-ocaml-tutorial
yurug/lwt
OCaml promises and concurrent I/O
yurug/metacoq
Metaprogramming in Coq
yurug/ocaml
The core OCaml system: compilers, runtime system, base libraries
yurug/ocaml-yaml
OCaml interface to the YAML 1.1 spec
yurug/ocaml.org
Implementation of the ocaml.org website.
yurug/ocaml.org-1
The official OCaml website.
yurug/ocamltter
ocamltter is a Twitter client in OCaml. This client run on the OCaml toplevel interpreter. Then each operation on the client is just a OCaml function and you can develop a twitter program interactively.
yurug/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
yurug/oss-ecosystem-data
Data API to study Open Source Ecosystems
yurug/paraguna
yurug/postgresql-ocaml
OCaml-bindings for the PostgreSQL database
yurug/reason-design-patterns
🗺 An unofficial collection of "design patterns" for Reason and OCaml
yurug/teztnets
Automated Testnets
yurug/wasm-fizzbuzz
WebAssembly from Scratch: From FizzBuzz to DooM.