Irina4ik's Stars
imDema/FreeMove
Move directories without breaking shortcuts or installations
overtake/TelegramSwift
Source code of Telegram for macos on Swift 5.0
telegramdesktop/tdesktop
Telegram Desktop messaging app
Z3Prover/z3
The Z3 Theorem Prover
jack-pappas/fsharp-logic-examples
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
joomla/joomla-cms
Home of the Joomla! Content Management System
Polymer/polymer-starter-kit
A starting point for Polymer apps
google/web-starter-kit
Web Starter Kit - a workflow for multi-device websites
rbenv/rbenv
Manage your app's Ruby environment
afd/symmetrytools
Tools for symmetry reduction in model checking, originally developed at the University of Glasgow
fozziethebeat/S-Space
The S-Space repsitory, from the AIrhead-Research group
kir1994/Pascal-compiler
Implementation of Pascal language compiler as a course work
peredrii/Pascal-Compiler
edu