PinnedLoading

1. ray_tracerray_tracerPublic

   Ray tracer capable of rendering a variety of materials and phenomena, such as volumetric smoke, procedural noise, and gravitational lensing.

   C++

2. metalmetalPublic

   A programming language to describe the function of a Turing machine.

   Haskell 2 1

3. processor_simprocessor_simPublic

   Simulator of a pipelined, superscalar processor.

   Haskell

4. c--compilerc--compilerPublic

   Compiler of C-- to assembly for processor simulator.

   Haskell 2

5. rocket_simrocket_simPublic

   Simulates rocket forces.

   Python 1

6. alacarte-idrisalacarte-idrisPublic

   Data Types à la Carte extensible syntax and semantics, implemented in Idris.

   Idris