MagnusS / jitsuLinks
A DNS server that automatically starts unikernels on demand
☆22Updated 10 years ago
Alternatives and similar repositories for jitsu
Users that are interested in jitsu are comparing it to the libraries listed below
Sorting:
- A instance-per-page demo☆56Updated 10 years ago
- Demos for Look Ma, no OS!☆55Updated 10 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 10 years ago
- Provision Docker images using Nix☆280Updated 11 years ago
- Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…☆78Updated 5 years ago
- The 'spawner' application for Zerg demo☆33Updated 11 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago
- Pure Pony Kafka client☆59Updated 6 years ago
- Demonstration NATting unikernel.☆29Updated 9 years ago
- Scripting with Least Privilege☆110Updated 8 years ago
- Mockfighter is a Stockfighter clone☆15Updated 10 years ago
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- ABANDONED☆49Updated 9 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- Functional data structures for Pony☆44Updated 8 years ago
- A DNS server that automatically starts unikernels on demand☆303Updated 9 years ago
- Andl is A New Database Language☆76Updated 9 years ago
- ☆64Updated 9 years ago
- Getting Widespread OCaml Adoption☆84Updated 8 years ago
- a Racket language inspired by ARc, by Kogir☆29Updated 12 years ago
- KDB bindings for lua☆27Updated 6 years ago
- A simple http server written in Prolog☆30Updated 9 years ago
- Iterated Function Systems fractals with OCaml.☆35Updated 3 years ago
- An Actor-based framework for Lua☆37Updated 9 years ago
- A Packer definition for NixOS. It builds a Vagrant box for NixOS 14.04 x86_64.☆30Updated 9 years ago
- Escher: A language for programming in metaphors http://escher.io☆729Updated 5 years ago
- Website infrastructure and content for mirage.io☆173Updated last month
- Interactive visualization framework for Runway models of distributed systems☆186Updated 3 years ago
- Pony implementation of http://www.reactive-streams.org/☆41Updated 2 weeks ago