jesyspa
Mathematics PhD student at Radboud University, Nijmegen; currently at JetBrains. Interests: formal verification, type theory, programming language theory.
@JetBrainsUtrecht, The Netherlands
Pinned Repositories
4DGo
A four-dimensional goban
book
An Introduction to Various Math Topics
computability-in-agda
A formalisation of computability theory in Agda.
FastGOL
A very simple Game of Life implementation, with an attempt to make stuff fast.
fularuha
A functional language implementation in Rust and Haskell
kotlin
The Kotlin Programming Language.
labyrinth
A tool for generating mazes
linear-cpp
An attempt at a C++ tutorial.
master-thesis
polycat
A functional programming language that is automatically category-polymorphic
jesyspa's Repositories
jesyspa/linear-cpp
An attempt at a C++ tutorial.
jesyspa/master-thesis
jesyspa/kotlin
The Kotlin Programming Language.
jesyspa/computability-in-agda
A formalisation of computability theory in Agda.
jesyspa/labyrinth
A tool for generating mazes
jesyspa/polycat
A functional programming language that is automatically category-polymorphic
jesyspa/toy-stuff
Just some fun tidbits I put together.
jesyspa/directed-branching-bisimulation
Code for the paper "Directed branching bisimulation via apartness and positive logic" by Herman Geuvers and Anton Golov
jesyspa/agda-vim
Agda interaction in vim
jesyspa/BRiCk
Formalization of C++ for verification purposes.
jesyspa/codechef
Solutions to codechef contests
jesyspa/Conway-s-Game-Of-Life
Game of life, in C++ and SFML
jesyspa/coq-playground
Just random stuff that seems fun to formalise
jesyspa/intellij-plugins
Open-source plugins included in the distribution of IntelliJ IDEA Ultimate and other IDEs based on the IntelliJ Platform
jesyspa/jesyspa.github.io
Build a Jekyll blog in minutes, without touching the command line.
jesyspa/JudgeBot
A Discord bot to manage guild rules, infractions and punishments for guild members that don't play nicely.
jesyspa/jytest-vscode
Test extension to figure out why coq-lsp interacts poorly with vscodevim
jesyspa/kotlin-formver-demo
Repository for examples for Kotlin formal verification plugin demo
jesyspa/kotlin-playground
Random Kotlin stuff I want to try out
jesyspa/kotlin-scala-interop
jesyspa/kotlin-test-plugin
jesyspa/kotlin-wheels
Just a random kotlin util collection (now being used to test formal verification)
jesyspa/lojban-syntax-bot
A Discord bot for parsing Lojban sentences.
jesyspa/maze-generation
jesyspa/rebase-workflow-test
jesyspa/rust
Empowering everyone to build reliable and efficient software.
jesyspa/rust_puzzling
Just some utilities to solve programming problems in Rust
jesyspa/scala-viper-harness
Minimal project for writing and running Viper
jesyspa/spotify-player
A command driven spotify player
jesyspa/sudoku
A sudoku game where you have to prove that your deductions are valid