pa-ba/idris-raytracer pa-ba/idris-raytracer

  • Stars
    star
    2
  • Language Idris
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pa-ba/idris-raytracer
github

pa-ba

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

simple ray tracer implemented in Idris

More Repositories

1

compdata

Haskell library implementing "Data Types a la Carte"
Haskell
87
star
2

calc-comp

Coq proofs for the paper "Calculating Correct Compilers"
Coq
27
star
3

Rattus

A modal FRP language embedded in Haskell.
Haskell
10
star
4

McCarthy-Painter

Coq proof for the paper "Compiling a Fifty Year Journey"
Coq
10
star
5

reg-machine

Coq & Haskell code for Calculating Correct Compilers II
Coq
10
star
6

compdata-param

Haskell library implementing parametric compositional data types.
Haskell
10
star
7

equivalence

Haskell
9
star
8

alfred

Haskell library for writing workflows for Alfred 2.
Haskell
9
star
9

alacarte-idris

Data Types a la Carte in Idris
Idris
8
star
10

compdata-dags

Compositional Data Types on DAGs
Haskell
7
star
11

guarded-lean

Guarded recursive types in Lean
Lean
6
star
12

monadic-compiler-calculation

Agda
5
star
13

cps-defun

Coq proofs for the paper "Cutting out Continuations"
Coq
4
star
14

compdata-automata

Tree automata on Compositional Data Types
Haskell
4
star
15

calculating-compilers-for-concurrency

Agda formalisation for "Calculating compilers for concurrency"
Agda
2
star
16

graph-comp

Coq proofs for the paper "Proving Correctness of Compilers Using Structured Graphs"
Coq
1
star
17

projection

Projection function for arbitrarily nested binary product types.
Haskell
1
star
18

calc-comp-rel

Coq proofs for the paper "Calculating Certified Compilers for Non-Deterministic Languages"
Coq
1
star