xandkar/erlang-contract

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Erlang
License
Apache License 2.0
Created 12 months ago
Updated 11 months ago

xandkar/erlang-contract

xandkar

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

Design by Contract as an Erlang library

beam-internals

A collection of implementation details of Erlang's VM - BEAM

hope

A quest for a "standard" Erlang library with uniform, composable abstractions.

beam_stats

Collect detailed Erlang VM metrics and send to arbitrary, plugable backends (StatsD and Graphite backends included).

pista

PIped STAtus: the ii of status bars! Event loop over N FIFOs, reading line streams and writing into N segments of your status buffer. After a TTL without updates, a segment is blanked-out.

git-analysis

An exploratory analysis of a Git repository

tiger.ml

A Tiger-compiler implementation in OCaml

qrbg-erlang

Erlang API to the Quantum Random Bit Generator service at http://random.irb.hr/

erlang-totp

Time-Based One-Time Password Algorithm, as described in RFC 6238

caravan

A framework for stateful, black-box testing of arbitrary systems, in OCaml. Inspired by Erlang/OTP's Common Test.

cluster-commander-2

[DELETED]. Was: "a cluster management tool: parallel SSH/SCP loop, dynamic and static node lists, other useful stuff."

gg

git git: where my gits at? a cataloger of repos.

cellular-automata

Various approaches in various languages to various cellular automata.

dropbox-conflicts

Build a tree of conflict dependencies in your Droppbox folder

data-mill

A framework to organize automated data collection-and-processing pipelines.

epidemic-sim

An exploration of simulating an epidemic

mock-market

Simple market simulation as my playground.

dups

Duplicate file finder

erlang-hotp

HMAC-Based One-Time Password Algorithm, as described in RFC 4226

project-euler

tt

A client and a crawler of twtxt (a P2P microblogging network).

aoc2022

arkheia

Experiments with document archival and analysis (WIP)

gen_http

An experimental, generic HTTP interface with pluggable client implementations.

erlang-crdt

Select, app-level, state-based CRDT (Convergent Replicated Data Type) implementations for Erlang.

numerals

How do they even work?

tiz

Time In Zones: print table of times in given zones.

aoc2021

nomenclature

vim-comments

My mods to comments.vim (by Jasmeet Singh Anand <[email protected]>)

oauth1_core

A CRDT-backed, server-side implementation of OAuth 1.0 core protocol for Erlang, supporting pluggable storage implementations. Test coverage: 80% (100% for most critical paths).

oauth1_srv

An eventually-consistent implementation of the OAuth 1.0 server for Erlang

git-cheat-sheet

How to do nonobvious (to me) stuff with git

dwm

experiment--which-nypl-locations-open-on-sundays

It was surprisingly-hard to find an answer on nypl.org!

sensu-erlang

Erlang API to send external check result to Sensu client.

ocaml-grid

Generic operations on an array of arrays, that I kept re-implementing in several projects

eu

A library of miscellaneous shortcut/utility functions that I end-up re-writing in every Erlang project.

xkcd-pass-gen

mathematica-cheat-sheet

How to do some simple, but non-obvious (to me) stuff in Mathematica

stamon

Status monitors (of system, weather, etc.) for textual status bars (such as barista, pista, etc.)

phorg

Idempotent photo/video file organizer

pista-feeds-x

Experimental data-feed processes for use with pista.

st

self-screen-spy

a good quantitative exercise