- Utrecht, The Netherlands
-
07:21
(UTC +02:00) - www.math.ru.nl/~agolov/
- https://orcid.org/0000-0001-9273-413X
- @jesyspa
-
kotlin Public
Forked from JetBrains/kotlinThe Kotlin Programming Language.
-
jesyspa.github.io Public
Forked from barryclark/jekyll-nowBuild a Jekyll blog in minutes, without touching the command line.
SCSS MIT License UpdatedAug 6, 2024 -
intellij-plugins Public
Forked from JetBrains/intellij-pluginsOpen-source plugins included in the distribution of IntelliJ IDEA Ultimate and other IDEs based on the IntelliJ Platform
Java UpdatedNov 10, 2023 -
kotlin-formver-demo Public
Repository for examples for Kotlin formal verification plugin demo
Kotlin UpdatedOct 25, 2023 -
-
kotlin-wheels Public
Forked from vorpal-research/kotlin-wheelsJust a random kotlin util collection (now being used to test formal verification)
Kotlin MIT License UpdatedSep 22, 2023 -
-
-
-
-
JudgeBot Public
Forked from the-programmers-hangout/JudgeBotA Discord bot to manage guild rules, infractions and punishments for guild members that don't play nicely.
Kotlin MIT License UpdatedJul 4, 2023 -
spotify-player Public
Forked from aome510/spotify-playerA command driven spotify player
Rust MIT License UpdatedApr 3, 2023 -
jytest-vscode Public
Test extension to figure out why coq-lsp interacts poorly with vscodevim
TypeScript UpdatedJan 9, 2023 -
BRiCk Public
Forked from bedrocksystems/BRiCkFormalization of C++ for verification purposes.
Coq Other UpdatedNov 23, 2022 -
Code for the paper "Directed branching bisimulation via apartness and positive logic" by Herman Geuvers and Anton Golov
-
rust_puzzling Public
Just some utilities to solve programming problems in Rust
Rust UpdatedOct 15, 2022 -
coq-playground Public
Just random stuff that seems fun to formalise
Makefile MIT License UpdatedOct 12, 2022 -
-
-
sudoku Public
Forked from TwoFX/sudokuA sudoku game where you have to prove that your deductions are valid
Lean Apache License 2.0 UpdatedFeb 7, 2022 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedOct 31, 2021 -
-
-
lojban-syntax-bot Public
A Discord bot for parsing Lojban sentences.
Haskell MIT License UpdatedMay 29, 2021 -
polycat Public archive
A functional programming language that is automatically category-polymorphic
-
-
computability-in-agda Public
A formalisation of computability theory in Agda.
-
-
agda-vim Public archive
Forked from derekelkins/agda-vimAgda interaction in vim
Vim Script BSD 2-Clause "Simplified" License UpdatedNov 7, 2017 -
Conway-s-Game-Of-Life Public archive
Forked from liz3/Conway-s-Game-Of-LifeGame of life, in C++ and SFML
CMake UpdatedSep 6, 2017