Discover @reynir Open Source projects

Reynir Björnsson (@reynir)

reynir

Stars
218
Global Rank 114,580 (Top 4 %)
Followers 133
Following 166
Registered about 14 years ago
Most used languages

OCaml
79.2 %

Idris 4.2 %

Elixir
4.2 %

Coq 4.2 %

JavaScript
4.2 %

C
4.2 %
Location 🇩🇰 Denmark
Country Total Rank 531
Country Ranking

Idris 1

Coq 6

OCaml
6

Elixir
46

C
502

JavaScript
1,358

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

evil-opam-repository

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

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