reynir Goto Github PK

albatross

Albatross: orchestrate and manage MirageOS unikernels with Solo5

angstrom

Parser combinators built for speed and memory efficiency

awa-ssh

Purely functional SSH library in ocaml.

banawa-chat

SSH chat server using trust on first use for user registration

bf.js

A brainfuck compiler in javascript that outputs a javascript function.

blogger

The source code of the generator and the content of blog.osau.re

bob

A peer-to-peer file-transfer tool in OCaml

bornhack-website

Django project to power BornHack

boulder

An ACME-based CA, written in Go.

brainfuck

Brainfuck formalized in Coq

builder

Scheduling build jobs on regular intervals, collecting artifacts

calculon

Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.

camels

camels game

canopy

A git-blogging unikernel written using MirageOS

carbon

Carbon is one of the components of Graphite, and is responsible for receiving metrics over the network and writing them down to disk using a storage backend.

certgrinder

certgrinder

chamelon

a small, simple block-backed key-value store for MirageOS

checkseum

cmdliner

Declarative definition of command line interfaces for OCaml

conan

Like detective conan, find clue about the type of the file

conex-marrakesh

key signing

continuation

A compiler for JavaScript asynchronous Continuation-Passing Style transformation

cri

IRC protocol in OCaml

decompress

Pure OCaml implementation of Zlib.

dhcpcanon

DHCP client disclosing less identifying information.

digestif

Simple hash algorithms in OCaml

digitalocean-speed-test-cli

A simple CLI for speed testing DigitalOcean's datacenters.

django-dukop

Django project and apps for dukop v2

dream-normalize-route

drupal7_password_hash

Drupal 7 compatible password hashing for Elixir