Irina4ik

Irina4ik's Stars

• imDema/FreeMove

  Move directories without breaking shortcuts or installations

  Language:C#1.2k100

• overtake/TelegramSwift

  Source code of Telegram for macos on Swift 5.0

  Language:Swift5k841

• telegramdesktop/tdesktop

  Telegram Desktop messaging app

  Language:C++25.8k5.1k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.1k1.5k

• jack-pappas/fsharp-logic-examples

  Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.

  Language:F#17016

• joomla/joomla-cms

  Home of the Joomla! Content Management System

  Language:PHP4.7k3.6k

• Polymer/polymer-starter-kit

  A starting point for Polymer apps

  Language:JavaScript2.5k660

• google/web-starter-kit

  Web Starter Kit - a workflow for multi-device websites

  Language:HTML18.4k3k

• rbenv/rbenv

  Manage your app's Ruby environment

  Language:Shell16k1.4k

• afd/symmetrytools

  Tools for symmetry reduction in model checking, originally developed at the University of Glasgow

  Language:Java2

• fozziethebeat/S-Space

  The S-Space repsitory, from the AIrhead-Research group

  Language:Java203106

• kir1994/Pascal-compiler

  Implementation of Pascal language compiler as a course work

  Language:C++1

• peredrii/Pascal-Compiler

  edu

  1