yurug

yurug's Stars

• jart/blink

  tiniest x86-64-linux emulator

  Language:C7k6474225

• coq/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.

  Language:OCaml4.9k10310.1k656

• ocsigen/eliom

  Multi-tier framework for programming web and mobile applications in OCaml.

  Language:OCaml3062533954

• ocaml-sf/learn-ocaml

  A Web Application for Learning OCaml

  Language:JavaScript3031625266

• ocaml-cross/opam-cross-windows

  An OCaml cross-toolchain for Windows and several useful libraries

  Language:Shell111135034

• art-w/deque

  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)

  Language:OCaml104314

• lthms/spatial-shell

  Implementing a spatial model inspired by Material Shell, for i3 and sway.

  Language:OCaml896131

• Lelio-Brun/Obelisk

  A simple multi-format pretty-printer for Menhir.

  Language:OCaml557134

• mirage/mirage-profile

  Collect profiling information

  Language:OCaml1822910

• bfontaine/iwc

  Interactive wc(1)

  Language:C10322

• yurug/hj

  The Hack Dojo

  Language:OCaml9330

• bobot/FetedelascienceINRIAsaclay

  Fête de la science INRIA saclay

  Language:OCaml50

• MisterDA/ocaml-platform

  OCaml Platform

  Language:Shell4401

• rbardou/fungame2

  Wrapper around SDL, with a JS backend.

  Language:OCaml1100