nzyuzin Goto Github PK

ai-assignments

bin_comp

buftabs

Put all your firefox tabs to the statusline (a pentadactyl plugin)

candiderl

Roguelike (engine) in early development stage

code-scraps

Various code I wrote that I keep for reference

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.

ddnet

DDraceNetwork, a mod of Teeworlds

dotfiles

My .files

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

ex-mode

Ex mode for Atom

ideavim

Vim emulation plug-in for IDEs based on the IntelliJ platform.

lennardjonespotential

minischeme

An implementation of a subset of Scheme with an aim to match R5RS eventually

progress

Linux tool to show progress for cp, rm, dd, ...

projecteulerproblems

My solutions to problems listed on projecteuler.net

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/

rteeworlds

Teeworlds fork for rating gametypes

scilla

Scilla - A Smart Contract Intermediate Level Language

sequent

static-analysis-papers

tamtaml

Mini ML implementation

teerank

A simple ranking system for teeworlds

teeworlds

A retro multiplayer shooter

teeworlds-ratings

Game information communication for rCTF

teeworlds-ratings-web

Webapp to display the information from https://github.com/nzyuzin/teeworlds-ratings database.

triangle-distances

vcfloat

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

yalilii

Yet Another LISP interpreter written in LISP as part of SICP exercises