Pinned Repositories
ai-assignments
bin_comp
CandideRL
Roguelike (engine) in early development stage
minischeme
An implementation of a subset of Scheme with an aim to match R5RS eventually
rteeworlds
Teeworlds fork for rating gametypes
tamtaml
Mini ML implementation
teeworlds-ratings
Game information communication for rCTF
teeworlds-ratings-web
Webapp to display the information from https://github.com/nzyuzin/teeworlds-ratings database.
YALILII
Yet Another LISP interpreter written in LISP as part of SICP exercises
nzyuzin's Repositories
nzyuzin/rteeworlds
Teeworlds fork for rating gametypes
nzyuzin/tamtaml
Mini ML implementation
nzyuzin/teeworlds-ratings
Game information communication for rCTF
nzyuzin/teeworlds-ratings-web
Webapp to display the information from https://github.com/nzyuzin/teeworlds-ratings database.
nzyuzin/YALILII
Yet Another LISP interpreter written in LISP as part of SICP exercises
nzyuzin/ai-assignments
nzyuzin/bin_comp
nzyuzin/CandideRL
Roguelike (engine) in early development stage
nzyuzin/minischeme
An implementation of a subset of Scheme with an aim to match R5RS eventually
nzyuzin/static-analysis-papers
nzyuzin/buftabs
Put all your firefox tabs to the statusline (a pentadactyl plugin)
nzyuzin/code-scraps
Various code I wrote that I keep for reference
nzyuzin/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
nzyuzin/ddnet
DDraceNetwork, a mod of Teeworlds
nzyuzin/dotfiles
My .files
nzyuzin/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
nzyuzin/ex-mode
Ex mode for Atom
nzyuzin/ideavim
Vim emulation plug-in for IDEs based on the IntelliJ platform.
nzyuzin/LennardJonesPotential
nzyuzin/progress
Linux tool to show progress for cp, rm, dd, ...
nzyuzin/ProjectEulerProblems
My solutions to problems listed on projecteuler.net
nzyuzin/ps-category-theory-seminar-17
Exercise sheets for the Category theory seminar at the Programming Systems Lab, Saarland University, summer term 2017. https://courses.ps.uni-saarland.de/ct_ss17/
nzyuzin/scilla
Scilla - A Smart Contract Intermediate Level Language
nzyuzin/sequent
nzyuzin/teerank
A simple ranking system for teeworlds
nzyuzin/teeworlds
A retro multiplayer shooter
nzyuzin/triangle-distances
nzyuzin/vcfloat
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations