yesco / jml

Related projects ⓘ

Alternatives and complementary repositories for jml

• spacejam / crack
  building blocks and testing tools for reliable systems
  ☆28Updated 6 years ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆19Updated 6 years ago
• zg / awesome-unikernels
  awesome-unikernels
  ☆15Updated 9 years ago
• myechuri / ukonvrt
  Tool to convert input application into unikernel image
  ☆10Updated 7 years ago
• sunrise-choir / shs1-c
  C implementation of secret-handshake version 1.x
  ☆9Updated 2 years ago
• ssbc / go-muxrpc
  js/muxrpc in golang (for interfacing ssb/scuttlebot)
  ☆23Updated 2 years ago
• jemc / pony-inspect
  Small Pony library for converting common objects to human-readable strings.
  ☆25Updated 3 years ago
• slfritchie / humming-consensus
  For research related to Humming Consensus: errata & corrections, source code for future work, etc.
  ☆10Updated 8 years ago
• myter / CAPtain
  Integrating the CAP theorem into distributed language design.
  ☆12Updated 6 years ago
• myechuri / ukd
  Unikernel Runtime
  ☆11Updated 7 years ago
• zerovm / zerocloud
  Swift middleware for Zerocloud
  ☆53Updated 5 years ago
• Michael-F-Bryan / tinyvm-rs
  An incremental port of jakogut/tinyvm to Rust
  ☆13Updated 4 years ago
• grempe / session-keys-js
  A cryptographic tool for the deterministic generation of unique user IDs, and NaCl cryptographic keys
  ☆7Updated last year
• MagnusS / irmin-go
  HTTP bindings for Irmin in Go
  ☆17Updated 8 years ago
• datrs / tree-index
  Stateful tree index.
  ☆15Updated 3 years ago
• raptorjit / raptorbook
  RaptorJIT: a dynamic system programming language (manuscript)
  ☆15Updated 5 years ago
• jemc / pony-sodium
  Safe Pony FFI wrapper for the libsodium cryptography library.
  ☆24Updated 2 years ago
• indutny / file-shooter
  File Shooter (uv_link_t, uv_ssl_t, uv_http_t)
  ☆11Updated 8 years ago
• datrs / dat-network-protocol
  Dat Network Protocol protobuf definitions.
  ☆18Updated 3 years ago
• mild-times / webmanifest
  Create a webmanifest file
  ☆19Updated 4 years ago
• cksac / graphql-rs
  A implementation of GraphQL for Rust
  ☆12Updated 8 years ago
• ssbc / margaret
  a flume-like persisted append-only log implementation
  ☆16Updated 6 months ago
• jbenet / go-msgio
  simple package to r/w length-delimited slices.
  ☆14Updated 8 years ago
• natefinch / tree
  A statically typed binary tree in Go without casts or reflection
  ☆19Updated 11 years ago
• slfritchie / wide-world-of-actors
  Wide World of Actors, or, Can I Have an Erlang Pony?
  ☆13Updated 6 years ago
• bermi / genetic
  🧬 Typescript Genetic Algorithm Framework built using deno
  ☆11Updated 2 years ago
• flowbased / thinking-flowbased
  A pratical book for how to program using flowbased- programming
  ☆14Updated 9 years ago