cjdelisle/reasonml-experiment cjdelisle/reasonml-experiment

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    OCaml
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cjdelisle/reasonml-experiment
github

cjdelisle

Reviews

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

Repository Details

Experimentation with the ReasonML language

More Repositories

1

cjdns

An encrypted IPv6 network using public-key cryptography for address allocation and a distributed hash table for routing.
C
5,091
star
2

PacketCrypt

Bandwidth-hard proof of work
JavaScript
76
star
3

packetcrypt_rs

PacketCrypt in Rust
C
53
star
4

return-to-abort

return-to-abort() - Using code introspection to prevent stack-smashing
Python
37
star
5

Matterfoss

Free Software Community Chat Server
Go
31
star
6

CryptoSplainers

This is why nobody ever encrypts anything
30
star
7

fixlicense

Replace broken license headers like BSD with the GPLv3 for freedom.
Perl
28
star
8

cjdnsnode

JavaScript
28
star
9

JakeGate

A (hopefully) unbiased timeline of events related to accusations against Jacob Appelbaum
19
star
10

big_download

Big Download - Node express middleware for zipbombing vuln scanners
JavaScript
15
star
11

libposit

A library for working with the posit number type.
C
14
star
12

wasabi

WebAssembly
13
star
13

poly1305-mips32r2-donna

An implementation of Poly1305 for mips32r2 processors, based on the donna32 algorithm
Assembly
12
star
14

badssl

Connect to broken ssl servers
JavaScript
10
star
15

cjdnstool

Diagnostic and management tools for cjdns
JavaScript
10
star
16

clang-wasm-toolchain

Basic toolchain for compiling WebAssembly
Python
8
star
17

treetracert

A tool for building graphical depictions of traceroutes from many source locations to a single destination.
JavaScript
8
star
18

nthen

The simple intuitive asynchronous library. nThen do this, nThen do that.
JavaScript
7
star
19

goposit

Library for Posit math in golang
Go
7
star
20

cjdnsann

Library for parsing cjdns announcement messages
JavaScript
7
star
21

VerifiablySecureElections

A proposal for an election process which can be proven secure.
6
star
22

khacker

Kernel development environment
Shell
6
star
23

cjdnsniff

Library for sniffing and injecting cjdns traffic.
JavaScript
6
star
24

freewifi

it's not what you think, it's for a stable connection to free.fr wifi *with authorization*
JavaScript
6
star
25

wotbot

INCOMPLETE: This is here only for historical purposes and to provide inspiration, it might be completed at some point in the future but there is no plan
JavaScript
5
star
26

cjdns-ubuntu

For creating PPA builds - current status is unknown/unmaintained
JavaScript
5
star
27

opencl-experiment

Experiment with asynchronous programming in OpenCL
C++
5
star
28

wap4410n_v2.0.7.4_gpl

GPL source dump for the Cisco WAP4410N
C
4
star
29

cjdnslop

Fuzzy long-eared cjdns test runner.
Shell
3
star
30

cjdnshdr

Tools for parsing and serializing cjdns packet headers
JavaScript
3
star
31

cjdnswalk

walk a cjdns network and output links between nodes
JavaScript
3
star
32

esyr

An esy overlay which adds a few extra features
JavaScript
3
star
33

matrix-laggifier

Bot to periodically check Matrix/IRC lag and provide it on demand
JavaScript
3
star
34

pkt-docker-electrumx

A dockerized electrumx instance for the PKT blockchain
Dockerfile
3
star
35

node.rs

A nodejs-like framework for Rust.
Rust
3
star
36

buffershift

bit-shift Buffer objects in nodejs
JavaScript
3
star
37

candlize

Take different formats of trade data and unify them into a candlestick format
JavaScript
3
star
38

cjdnsadmin

Admin API connector for talking to cjdns engine
JavaScript
3
star
39

cjdnsencode

Encode and decode EncodingScheme on-wire representation
JavaScript
2
star
40

bandwidth-guess-sim

Simulation of different available bandwidth estimation algorithms with cjdns data
JavaScript
2
star
41

freeports

Find out which UDP ports are not blocked
JavaScript
2
star
42

IndependentFactCheckers

A GPT AI bot which checks facts for the Fediverse
JavaScript
2
star
43

pkt-multisig-tools

Tools for assisting in multi-signature signing for PKT
JavaScript
2
star
44

pg_rescue

Like dd_rescue, but for horrifically broken postgres tables.
JavaScript
1
star
45

voicie

Little IRC bot to voice people after 30 seconds of idling
JavaScript
1
star
46

rainflydns

An archive of a project which was done some years ago
JavaScript
1
star
47

tooples.rs

Array functions for tuples
Rust
1
star
48

xmhell

Read XML into a JSON structure and then convert that JSON back into XML.
JavaScript
1
star
49

conduit

Personal fork of conduit matrix server
Rust
1
star
50

cjdns-30c3

the cjdns presentation at the c3
JavaScript
1
star
51

node.sh

Launch a nodejs process (downloading node if needed) on most systems which support bash-like shell
Shell
1
star
52

matterfoss-scripts

Porting scripts for merging Mattermost upstream to MatterFOSS
Shell
1
star
53

CJDNS-contact

Legal and contact information for CJDNS SASU
1
star
54

cjdnsaddr

Tool for parsing and serializing lists of addresses which are sent in the inter-router protocol.
JavaScript
1
star
55

Electorium

Delegated Voting System
Rust
1
star
56

freeports-srv

Find out which UDP ports are not blocked, the server end
JavaScript
1
star
57

cjdnskeys

tools for working with cjdns keys
JavaScript
1
star
58

cjdnsctrl

tools for parsing and serializing cjdns low level CTRL messages
JavaScript
1
star
59

MatterfossWeb

Matterfoss free software community chat application - frontend
TypeScript
1
star
60

pkt-explorer-insightfe

Bitcore/Insight based frontend for the PKT Block Explorer
TypeScript
1
star
61

pocl-enqueue

Toy for playing with pocl device-side enqueue
C++
1
star
62

slides-squatconf-2014

JavaScript
1
star
63

pagedancer

A SECCOMP PageTable Dance Move for running trusted and untrusted code in the same process.
JavaScript
1
star