jaakristioja

jaakristioja's Stars

• deadlockempire/deadlockempire.github.io

  The Deadlock Empire: Slay dragons, learn concurrency!

  Language:JavaScript97345

• joncampbell123/dosbox-x

  DOSBox-X fork of the DOSBox project

  Language:C2.6k373

• tablecheck/dartsass-sprockets

  Integrate Dart Sass with Sprockets (Ruby on Rails asset pipeline)

  Language:Ruby354

• hsutter/cppfront

  A personal experimental C++ Syntax 2 -> Syntax 1 compiler

  Language:C++5.4k232

• pimutils/vdirsyncer

  📇 Synchronize calendars and contacts.

  Language:Python1.5k157

• pimutils/khal

  :calendar: CLI calendar application

  Language:Python2.6k200

• pabs3/git-remote-hg

  Transparent bidirectional bridge between Git and Mercurial for Git

  Language:Python2

• ircdocs/modern-irc

  A useful overview and reference to the IRC client protocol as it is implemented today.

  Language:Sass19235

• ircv3/ircv3-specifications

  IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html

  77779

• include-what-you-use/include-what-you-use

  A tool for use with clang to analyze #includes in C and C++ source files

  Language:C++4k384

• ripienaar/free-for-dev

  A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev

  Language:HTML86.7k9.4k

• ruffle-rs/ruffle

  A Flash Player emulator written in Rust

  Language:Rust15.4k792

• jirutka/one-context

  OpenNebula contextualization scripts for Alpine Linux and Gentoo

  Language:Shell43

• novnc/websockify

  Websockify is a WebSocket to TCP proxy/bridge. This allows a browser to connect to any application/server/service.

  Language:Python3.9k767

• gentoo/gentoo

  [MIRROR] Official Gentoo ebuild repository

  Language:Shell2.1k2k

• veorq/cryptocoding

  Guidelines for low-level cryptography software

  1.1k89

• NationalSecurityAgency/ghidra

  Ghidra is a software reverse engineering (SRE) framework

  Language:Java50.2k5.7k

• kopylash/algorithmics-project

  HTML5 arcade game showing Particle Swarm Optimization.

  Language:JavaScript31

• isocpp/CppCoreGuidelines

  The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

  Language:CSS42.3k5.4k

• jlevy/the-art-of-command-line

  Master the command line, in one page

  152k14.5k

• gorhill/uMatrix

  uMatrix: Point and click matrix to filter net requests according to source, destination and type

  Language:JavaScript4.6k470

• hwayne/learntla

  A TLA+ guide

  Language:CSS27857

• vcmi/vcmi

  Open-source engine for Heroes of Might and Magic III

  Language:C++4.2k457

• Somsubhra/github-release-stats

  Get the latest release stats of your project on Github

  Language:JavaScript53185

• tlaplus/Examples

  A collection of TLA⁺ specifications of varying complexities

  Language:TLA1.3k196

• tlaplus/DrTLAPlus

  Dr. TLA+ series - learn an algorithm and protocol, study a specification

  Language:TLA80098

• tlaplus/tlaplus

  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  Language:Java2.3k192

• kalemas/sword

  Personal svn clone of The SWORD project

  Language:C++1

• swordxx/swordxx

  The Sword++ library

  Language:C++112

• sharemind-sdk/cheaders

  Sharemind C headers

  Language:C1