Reynir Björnsson (@reynir)
github

reynir

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    218
  • Global Rank 115,189 (Top 4 %)
  • Followers 133
  • Following 166
  • Registered over 14 years ago
  • Most used languages
    OCaml
         79.2 %
    Elixir
         4.2 %
    Coq     4.2 %
    C
         4.2 %
    Idris     4.2 %
    JavaScript
         4.2 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 531
  • Country Ranking
    Idris     1
    Coq     6
    OCaml
         6
    Elixir
         43
    C
         622
    JavaScript
         1,400

Top repositories

1

banawa-chat

SSH chat server using trust on first use for user registration
OCaml
29
star
2

Brainfuck

Brainfuck formalized in Coq
Coq
23
star
3

qubes-mirage-ssh-agent

Ssh-agent unikernel for QubesOS
OCaml
21
star
4

ocp-index-top

OCaml
20
star
5

Verified

A collection of proofs for some idris class instances - NOT MAINTAINED
Idris
18
star
6

ocaml-ssh-agent

OCaml
15
star
7

origami-sledgehammer

It's a pastebin, okay?
OCaml
12
star
8

mirage-block-partition

Partition a Mirage block device into two block devices
OCaml
9
star
9

mirage-cat

Cat implemented in MirageOS for solo5
OCaml
8
star
10

let-if

OCaml
7
star
11

gptar

GPT + TAR header
OCaml
6
star
12

ppx_optint

OCaml
6
star
13

oneffs

Single file filesystem for MirageOS - mirror
OCaml
5
star
14

ocaml-secret-sharing

Threshold Secret Sharing in OCaml
OCaml
5
star
15

ocaml-digitalocean

OCaml library for the digitalocean.com v1 API
OCaml
5
star
16

dream-normalize-route

OCaml
4
star
17

use_mod

OCaml
2
star
18

evil-opam-repository

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

bf.js

A brainfuck compiler in javascript that outputs a javascript function.
JavaScript
2
star
20

TIP

Tiny Imperative Programming Language
OCaml
2
star
21

ocaml-cert-pubkey-fp

OCaml
1
star
22

uslock

slock with unicode / X input method support.
C
1
star
23

ocaml-digitalocean-v2

Very incomplete implementation of DigitalOcean v2 api - https://developers.digitalocean.com/v2/
OCaml
1
star
24

python-str-repr

Python's str.__repr__() in OCaml
OCaml
1
star
25

drupal7_password_hash

Drupal 7 compatible password hashing for Elixir
Elixir
1
star