Popular repositories Loading

1. racket racket Public

   Forked from racket/racket

   The Racket repository

   Racket 1

2. music-grid music-grid Public

   music-grid will eventually be an application that allows the user to see and manipulate representations of music. It is written in Racket.

   Racket 1

3. minecrift minecrift Public

   Forked from jrbudda/minecrift

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

   Java 1

4. obs-studio obs-studio Public

   Forked from obsproject/obs-studio

   OBS

   C 1

5. VirtualRhythm VirtualRhythm Public

   Forked from felix330/VirtualRhythm

   C# 1

6. coq coq Public

   Forked from rocq-prover/rocq

   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…

   OCaml 1