dannypsnl/raytracer dannypsnl/raytracer

  • Stars
    star
    3
  • Rank 3,946,889 (Top 79 %)
  • Language
    Racket
  • License
    Other
  • Created about 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dannypsnl/raytracer
github

dannypsnl

Reviews

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

Repository Details

racket raytracer

More Repositories

1

sauron

A DrRacket plugin to make it experience like an IDE
Racket
48
star
2

redux

redux implementation in Go
Go
46
star
3

write-a-programming-language

How to make a new language(and why we shouldn't?)
39
star
4

plt-research

A collection of PLT researching
Racket
28
star
5

rocket

Light-weight web framework for Go
Go
26
star
6

elz

A polymorphism object-oriented programming language
Rust
24
star
7

racket-llvm

racket llvm C-API bindings
Racket
16
star
8

violet

A programming language, half theorem prover
Lean
12
star
9

typed-nanopass

rebuild nanopass with typed supports
Racket
11
star
10

k

k theorem prover
Racket
11
star
11

racket-tree-sitter

racket binding to tree-sitter
Racket
9
star
12

ecto_timescaledb

Provide extension to write TimescaleDB extended SQL.
Elixir
7
star
13

little-scheme

A little scheme for playing SICP
Haskell
7
star
14

xnix

system setting for all *nix-like system
Lua
6
star
15

scheme-to-arm64

A scheme to Arm64 compiler
Racket
6
star
16

cover-badge

A badge generator for coverage
Racket
6
star
17

eikyo

polymorphsim language with mark system
Haskell
6
star
18

.github

GitHub workflow templates
5
star
19

on

A command line tool helps you execute commands base on a command context to avoid duplicate typing.
Go
4
star
20

controllable-refinement

A refinement system with controllable predicate
TeX
4
star
21

reporter

A util toolbox for compiler error reporting
Racket
4
star
22

extend

An extension provider of llir/llvm
Go
4
star
23

kubenet

Tiny Kubernetes to show how its network work
Go
4
star
24

drracket-wakatime

Wakatime for DrRacket
Racket
4
star
25

kld

A simple x86/elf32 linker
C
4
star
26

inductive

Inductive construction
Racket
3
star
27

counter

A gen_server counter
Erlang
3
star
28

webmentions_db

fetch and cache https://webmention.io, produces forester tree via mentions
Elixir
3
star
29

control-spec

unit test framework for idris2
Idris
3
star
30

formatted-string

Extends racket string to formatted string
Racket
3
star
31

still-compiling

It's still...compiling
Racket
3
star
32

cocoa

cocoa in racket
Racket
2
star
33

dannypsnl

Whatever
2
star
34

math-note

TeX
2
star
35

agda-tree

literate programming agda in forester
Rust
2
star
36

minic

Lean
2
star
37

jsoncard

Convert json from stdin (pipeline) to forester card
OCaml
2
star
38

arend-template

Makefile
1
star
39

zig-on-mukava

Zig
1
star
40

data-type

data type syntax for typed/racket
Racket
1
star
41

useless-math

Useless math here!
Racket
1
star
42

lsp

language server protocol
Racket
1
star
43

algorithm

Scala
1
star
44

algebraicgraph

Lean implementation of Algebraic Graphs with Class
Lean
1
star
45

headvariant

OCaml
1
star
46

zf4

A forth written in zig
Zig
1
star
47

dumbtt

My dumb code
OCaml
1
star
48

register-vm

Zig
1
star
49

mathler

terminal version of mathler
Racket
1
star