panglesd / slipshow
An engine for displaying slips, the next-gen version of slides
See what the GitHub community is most excited about this week.
An engine for displaying slips, the next-gen version of slides
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
The compiler for ReScript.
Unison file synchronizer
FUSE filesystem over Google Drive
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Adds static typing to JavaScript to improve developer productivity and code quality.
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.
A static analyzer for Java, C, C++, and Objective-C
Owl - OCaml Scientific Computing @ https://ocaml.xyz
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.