kalorie

kalorie's Stars

• cetic/unikernels

  Unikernel and immutable infrastructures

  Language:C++60350

• firecracker-microvm/firecracker

  Secure and fast microVMs for serverless computing.

  Language:Rust27.3k1.9k

• infoslack/awesome-unikernels

  A list about Unikernels

  11315

• tlaplus/tlaplus

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

  Language:Java2.4k208

• rakudo/rakudo

  🦋 Rakudo – Raku on MoarVM, JVM, and JS

  Language:Raku1.8k379

• cloudius-systems/osv

  OSv, a new operating system for the cloud.

  Language:C4.1k603

• kabutz/javaspecialists

  The Java Specialists' Newsletter Sources

  Language:Java14534

• apache/mesos

  Apache Mesos

  Language:C++5.3k1.7k

• Raku/old-design-docs

  Raku language design documents

  Language:Raku12436

• MoarVM/MoarVM

  A VM with adaptive optimization and JIT compilation, built for Rakudo

  Language:C722178

• lg/murder

  Large scale server deploys using BitTorrent and the BitTornado library (NOTE: project no longer maintained)

  Language:Ruby2.5k267

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust102k13.2k

• SMLFamily/Successor-ML

  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

  Language:TeX19610

• SMLFamily/The-Mechanization-of-Standard-ML

  The Mechanization of Standard ML

  724

• SMLFamily/The-Definition-of-Standard-ML-Revised

  The Definition of Standard ML, Revised (1997)

  Language:TeX11413

• SMLFamily/SML-The-Living-Language

  SML, The Living Language (aka, Successor ML)

  726

• SMLFamily/The-Definition-of-Standard-ML

  The Definition of Standard ML (1990)

  Language:TeX12411

• leedo/modern_perl_book

  Modern Perl: the book

  Language:Perl21

• junit-team/junit4

  A programmer-oriented testing framework for Java.

  Language:Java8.5k3.3k