Pinned Loading

1. ray_tracer ray_tracer Public

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

   C++

2. metal metal Public

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

   Haskell 2 1

3. processor_sim processor_sim Public

   Simulator of a pipelined, superscalar processor.

   Haskell

4. c--compiler c--compiler Public

   Compiler of C-- to assembly for processor simulator.

   Haskell 2

5. rocket_sim rocket_sim Public

   Simulates rocket forces.

   Python 1

6. alacarte-idris alacarte-idris Public

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

   Idris