Stars
The Phoronix Test Suite open-source, cross-platform automated testing/benchmarking software.
OBS Studio - Free and open source software for live streaming and screen recording
paddymahoney / coq
Forked from rocq-prover/rocqCoq 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 develo…
jrbudda / minecrift
Forked from Automat-GH/minecriftVR mod for Minecraft. For Minecraft version 1.7.10
Zetawar is a turn based tactical strategy game implemented in 100% ClojureScript.
Play Oculus-exclusive games on the HTC Vive or Valve Index, scroll down for downloads and installation instructions.
paddymahoney / minecrift
Forked from jrbudda/minecriftModified version of Minecrift VR mod that focuses on the Vive and room scale VR
auvik / play-deb-packaging
Forked from saeta/play-deb-packagingA souce snapshot of a sample Play! app with SBT packaging.
A SuperCompiler for Martin-Löf's Type Theory
A Dependently Typed Functional Programming Language
A proof assistant for general type theories
Demos demonstrating the Javelin dataflow library for ClojureScript.
Purely functional statically typed Lisp which compiles to JavaScript
music-grid will eventually be an application that allows the user to see and manipulate representations of music. It is written in Racket.