Popular repositories

1. envoymesh envoymesh Public

   Prototype lightweight mesh using envoy go-control-plane for kubernetes

   Go 22

2. poirot poirot Public

   Alloy for security

   Ruby 9 3

3. sweetchai sweetchai Public

   Music streaming server in 300 lines of code

   JavaScript 2

4. semeru semeru Public

   Perl 6 2

5. bellmaniac bellmaniac Public

   Deductive synthesis of cache-oblivious dynamic algorithms

   JavaScript 1 4

6. scalasmt scalasmt Public

   Automatically exported from code.google.com/p/scalasmt

   Scala 1