Gleb Lobanov's repositories
chigraph-gui
The desktop interface for chigraph
GF
GF, Grammatical Framework, is a programming language for multilingual grammar applications. This is a mirror of the darcs repository.
Language:Grammatical FrameworkNOASSERTION000
gleblobanov
Config files for my GitHub profile.
moodle
Moodle - the world's open source learning platform
Language:PHPGPL-3.0000
moodle-block_qrcode
:camera: Block that provides a QR code that teachers can show on introductory slides
Language:PHPGPL-3.0000
Language:PHPGPL-3.0000
moodle-theme_ikbfu2021
A Moodle theme for IKBFU
nodeeditor
Qt Node Editor. Dataflow programming framework
php-sample-application
PHP 7.1 sample application
Language:PHP000
plfa.github.io
An introduction to programming language theory in Agda
Language:HTMLCC-BY-4.0000