The GL Vendor-Neutral Dispatch library

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

OBS

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 develo…

VR 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.

Linux kernel source tree

Modified version of Minecrift VR mod that focuses on the Vive and room scale VR

A 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

Property-based testing for Scala

Scala pastebin

A proof assistant for general type theories

Concurrency and Metaprogramming for JS

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.

The Racket repository

The Racket repository