SulamYakov

Israel

Pinned Repositories

alephone
Aleph One is the open source continuation of Bungie’s Marathon 2 game engine.
Language:C++00
coq-projects
Theorems and proofs from various math textbooks I study in my spare time, programmed into Coq vernacular.
Language:Coq00
fibonacci
Basic functions for implementing the Fibonacci sequence.
Language:Haskell00
haskell
A collection of the Haskell files on my computer
Language:Haskell00
math-lib
Library of math functions that I enjoy coding in my spare time.
Language:Haskell00
project-euler
Solutions to problems from Project Euler
Language:Haskell00
project64
N64 Emulator
Language:C++00

SulamYakov's Repositories

SulamYakov/alephone
Aleph One is the open source continuation of Bungie’s Marathon 2 game engine.
Language:C++00
SulamYakov/coq-projects
Theorems and proofs from various math textbooks I study in my spare time, programmed into Coq vernacular.
Language:Coq00
SulamYakov/fibonacci
Basic functions for implementing the Fibonacci sequence.
Language:Haskell00
SulamYakov/haskell
A collection of the Haskell files on my computer
Language:Haskell00
SulamYakov/math-lib
Library of math functions that I enjoy coding in my spare time.
Language:Haskell00
SulamYakov/project-euler
Solutions to problems from Project Euler
Language:Haskell00
SulamYakov/project64
N64 Emulator
Language:C++00