reynir/evil-opam-repository

Stars
2
Language
Created almost 2 years ago
Updated over 1 year ago

reynir/evil-opam-repository

reynir

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An opam repository where many of the archives are not available or have the wrong checksum

banawa-chat

SSH chat server using trust on first use for user registration

Brainfuck

Brainfuck formalized in Coq

qubes-mirage-ssh-agent

Ssh-agent unikernel for QubesOS

ocp-index-top

Verified

A collection of proofs for some idris class instances - NOT MAINTAINED

ocaml-ssh-agent

origami-sledgehammer

It's a pastebin, okay?

mirage-block-partition

Partition a Mirage block device into two block devices

mirage-cat

Cat implemented in MirageOS for solo5

let-if

gptar

GPT + TAR header

ppx_optint

oneffs

Single file filesystem for MirageOS - mirror

ocaml-secret-sharing

Threshold Secret Sharing in OCaml

ocaml-digitalocean

OCaml library for the digitalocean.com v1 API

dream-normalize-route

use_mod

bf.js

A brainfuck compiler in javascript that outputs a javascript function.

TIP

Tiny Imperative Programming Language

ocaml-cert-pubkey-fp

uslock

slock with unicode / X input method support.

ocaml-digitalocean-v2

Very incomplete implementation of DigitalOcean v2 api - https://developers.digitalocean.com/v2/

python-str-repr

Python's str.__repr__() in OCaml

drupal7_password_hash

Drupal 7 compatible password hashing for Elixir