Search: github.com/Gopiandcode | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Rhombus-in-the-Rough (github.com/Gopiandcode)

3 points

3 years ago

2.

Rhombus in the Rough: A 2D RPG implemented in the Rhombus Racket Lisp dialect (github.com/Gopiandcode)

2 points

3 years ago

3.

Buffer Overflow in Lean_io_prim_handle_read (github.com/leanprover)

2 points

2 months ago

4.

LeanSSR: An SSReflect-Like Tactic Language for Lean (github.com/verse-lab)

2 points

2 years ago