VasKho's repositories
BASE
Базовый репозиторий
NOASSERTION000
Language:Common LispGPL-3.0000
eww-dots
My dotfiles for eww
Language:CGPL-3.0000
geometry.ostis
Main repository for OSTIS Geometry
Language:HTML000
Language:ShellGPL-3.0000
Language:CGPL-3.0000
ims.ostis.kb
Knowledge base of IMS.OSTIS project
Language:HTML000
Language:Emacs LispGPL-3.0000
Language:PythonGPL-3.0000
nika
NIKA is an Intelligent Knowledge-driven Assistant
GPL-3.0000
ostis-metasystem
Intellectual ostis-system for the lifecycle management of ostis-systems
MIT000
ostis-web-platform
Set of scripts and configs for installing a web-oriented version of the OSTIS Technology platform implementation
000
Language:HTML000
preventive-strike
Pygame top-down shooter
Language:Python000
propositional-lang-parser
Parser for propositional language
Language:TypeScriptGPL-3.0000
react-sc-web
React version of sc-web interface
Language:TypeScriptGPL-3.0000
GPL-3.0000
sc-machine
Software implementation of semantic network storage and processing
Language:C++NOASSERTION000
sc-web
Web oriented sc-models interpreter
Language:JavaScript000
Language:C++MIT000
Language:TeXMIT000
Language:Shell000
tex2scs-translator
Tool for translating *.tex with SCn macros into SCs-code
Language:TeX000
Language:CSSGPL-3.0000
Language:HTMLMIT000
ws-selector.el
Emacs package to manage workspaces per buffer
Language:Emacs LispGPL-3.0000
yagl
Graph library implementation
Language:Go000
Language:ShellGPL-3.0000