MagnusS / jitsuLinks
A DNS server that automatically starts unikernels on demand
☆22Updated 9 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 9 years ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 9 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 4 years ago
- Demos for Look Ma, no OS!☆55Updated 9 years ago
- The 'spawner' application for Zerg demo☆33Updated 10 years ago
- Provision Docker images using Nix☆279Updated 10 years ago
- Demonstration NATting unikernel.☆29Updated 9 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago
- Pure Pony Kafka client☆58Updated 6 years ago
- Scripting with Least Privilege☆109Updated 8 years ago
- Website infrastructure and content for mirage.io☆171Updated 2 months ago
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- ABANDONED☆49Updated 8 years ago
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- Getting Widespread OCaml Adoption☆84Updated 7 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- Functional data structures for Pony☆44Updated 8 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 14 years ago
- Test-driven system administration with a little extra logic.☆387Updated 6 years ago
- Pony implementation of http://www.reactive-streams.org/☆40Updated last month
- Ready-made packages of software for running on the Rumprun unikernel☆204Updated 2 years ago
- Iterated Function Systems fractals with OCaml.☆34Updated 3 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- BtrPlace is a virtual machine scheduler. You can specialized it safely through independent constraints to make it support what match your…☆57Updated last week
- An Erlang pool of pools.☆31Updated 9 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- Tool for uploading unikernels into EC2☆76Updated 6 years ago
- An Actor-based framework for Lua☆37Updated 9 years ago
- A supercompiler pass for Erlang☆92Updated 4 years ago
- One-time pad programming exercise☆32Updated 9 years ago