eatonphil / referenceserver
Barebones UNIX socket servers
☆26Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for referenceserver
- An exercise in cryptographic minimlism☆24Updated 9 years ago
- An example of PEG usage☆55Updated 8 years ago
- Sealing local directories into Mirage Unikernels☆27Updated 8 years ago
- A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.☆102Updated 5 years ago
- A simple volume indicator utility for the i3 desktop environment (i3bar) interfacing with `pactl`☆15Updated 8 years ago
- KDB bindings for lua☆27Updated 4 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 2 years ago
- Demonstration NATting unikernel.☆29Updated 8 years ago
- Supports building of Mirage unikernels using Test Kitchen and Vagrant, and launching on AWS EC2☆19Updated 10 years ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 8 years ago
- OCaml implementation of the K 2.0 array programming language☆80Updated 8 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 5 years ago
- APL compiler written in Standard ML☆35Updated 3 years ago
- ☆22Updated 7 years ago
- A graph based REPL that saves to and loads from disk☆44Updated 9 years ago
- A free software repository of infographics and visualizations for understanding Computer Science ideas☆22Updated 6 years ago
- Getting Widespread OCaml Adoption☆85Updated 6 years ago
- Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…☆77Updated 4 years ago
- Scripting with Least Privilege☆108Updated 7 years ago
- Packer template to build Vagrant based Ubuntu + Xen development environment☆19Updated 8 years ago
- small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2☆18Updated 9 years ago
- MLton with Realtime GC and Threading features☆103Updated 8 months ago
- yet another lexical preprocessor☆40Updated 3 years ago
- CLI to concurrently compress, decompress using Brotli algorithm☆40Updated 5 years ago