István Donkó's Projects
Agda is a dependently typed programming language / interactive theorem prover.
The Agda standard library
Agda interaction in vim
NeoVim plugin for interacting with Agda written in Lua
A game of memory written for the love2d framework, where you need to guess the path of a ball.
Controller Script that connects Novation Launchpads to Bitwig
A rendering manager for blender. (For rendering a project in parts and stitching them together.)
ELTE IK Programtervező Informatikus BSc szakdolgozat (2018)
BubblePop game for Firefox OS
A Budaörsi Nepomuki Szent János Antiochia számára készült daloskönyv.
A simple canvas circle test.
Compiler for Elm, a functional language for reliable webapps.
CSS Diner
Online curve mania (multiplayer)
A custom element that allows you to easily put a Dark Mode 🌒 toggle or switch on your site:
D-bus protocol client and server for node.js written in native javascript
Visualization system for distributed data processing systems
The repository for high quality TypeScript type definitions.
Simple application for saving directory structures, and then later browsing them.
Downfall Board Game in Elm
General purpose Language Server
An unofficial collection of linters and formatters configured for efm-langserver for neovim.