Discover @jesyspa Open Source projects

Cactus (Anton) Golov (@jesyspa)

jesyspa

Stars
775
Global Rank 39,063 (Top 2 %)
Followers 100
Following 19
Registered almost 14 years ago
Most used languages

C++
37.5 %

Python
18.8 %

Rust
18.8 %

Agda 12.5 %

Coq 6.3 %

Haskell
6.3 %
Location 🇳🇱 Netherlands
Country Total Rank 719
Country Ranking

Agda 7

Coq 15

C++
41

Haskell
162

Rust
272

Python
3,534

linear-cpp

An attempt at a C++ tutorial.

4DGo

A four-dimensional goban

FastGOL

A very simple Game of Life implementation, with an attempt to make stuff fast.

fularuha

A functional language implementation in Rust and Haskell

master-thesis

labyrinth

A tool for generating mazes

computability-in-agda

A formalisation of computability theory in Agda.

polycat

A functional programming language that is automatically category-polymorphic

TurtleGraph

A graphing application written with Python's turtle module

Sparse

A very simple S expression parser and interpreter

toy-stuff

Just some fun tidbits I put together.

jy-c-to-bytecode

A bytecode interpreter, plus a compiler for a C-like language to that bytecode.

sorted

DailyProgrammerChallenges

My solutions to some daily programmer challenges.

directed-branching-bisimulation

Code for the paper "Directed branching bisimulation via apartness and positive logic" by Herman Geuvers and Anton Golov

toy-hisp

A toy language to learn more about compiling functional languages.

compile-time-brainfuck

A C++03 brainfuck metainterpreter.