Pinned Repositories
borzhch-lang
Academic project. Compiles simple custom language to Java-bytecode
concrete-semantics
Solutions to exercises from "Concrete Semantics" (by Tobias Nipkow and Gerwin Klein, ed. 1st August 2019)
Hydra
Master degree thesis. Codegeneration tool for n-version software
lambda2048
Academic project. A Haskell implementation of 2048
Melchior
GUI autogeneration "framework"
Nemeton
Academic project. Non-Linear Optimization Software
StardewValleyTODO
TODO list widget for Stardew Valley
tegan-lang
Academic project. Toy programming language compiled to LLVM
We-Came-With-Guns
Rogue-like shooter
Xebra
Declarative XML parser for Java
NoxChimaera's Repositories
NoxChimaera/tegan-lang
Academic project. Toy programming language compiled to LLVM
NoxChimaera/lambda2048
Academic project. A Haskell implementation of 2048
NoxChimaera/borzhch-lang
Academic project. Compiles simple custom language to Java-bytecode
NoxChimaera/Hydra
Master degree thesis. Codegeneration tool for n-version software
NoxChimaera/Melchior
GUI autogeneration "framework"
NoxChimaera/Nemeton
Academic project. Non-Linear Optimization Software
NoxChimaera/StardewValleyTODO
TODO list widget for Stardew Valley
NoxChimaera/We-Came-With-Guns
Rogue-like shooter
NoxChimaera/Xebra
Declarative XML parser for Java
NoxChimaera/concrete-semantics
Solutions to exercises from "Concrete Semantics" (by Tobias Nipkow and Gerwin Klein, ed. 1st August 2019)
NoxChimaera/formal-verification
NoxChimaera/invaders.js
Academic project. Simple «Invaders» game in JS
NoxChimaera/NoticEditor
The Editor
NoxChimaera/shikimori2anilist-converter
Конвертер списков аниме с Shikimori в Anilist.co
NoxChimaera/simple-spark-project
Simple Java «modular» web-application
NoxChimaera/xs-and-os
Academic project. Xs and Os game in SWI-Prolog