Katkó Dominik's repositories
Language:PHP000
chocolatey-packages
A template to use when setting up to create packages both manual and automatic
Language:PowerShellApache-2.0000
Language:CoqNOASSERTION000
cosmos
Algorithms that run our universe | Your personal library of every algorithm and data structure code that you will ever encounter | Ask us anything at our forum |
Language:C++GPL-3.0000
csocsort_app
Csocsort
Language:Dart000
docs
The Laravel documentation.
MIT000
erlang-semantics
Executable formal semantics for a subset of the Erlang programming language defined in the K Framework
Language:ErlangNOASSERTION000
erlang_ls
The Erlang Language Server
Language:ErlangApache-2.0000
Language:HTML000
mars
Unified IT System of the Eötvös József College for Advanced Studies.
Language:PHPMIT000
pluto
The open source software development course's repository.
Language:PHPApache-2.0000
vscode
The Visual Studio Code Extension for the Erlang Language Server
Language:TypeScriptApache-2.0000
wrangler
Import of the Wrangler svn repository.
Language:ErlangNOASSERTION000
wrangler_docs
Documentation for RefactoringTools projects
CC0-1.0000
Language:TeXNOASSERTION000