arianvp/elixir-isaac

Algorithms and Data structures

Stars
4
Rank 3,198,574 (Top 65 %)
Language
Elixir
License
The Unlicense
Created about 9 years ago
Updated about 6 years ago

arianvp/elixir-isaac

arianvp

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

Isaac

Isaac is an elixir module for ISAAC: a fast cryptographic random number generator

It wraps around arianvp/ISAAC which is a port of the ISAAC stream cipher to platforms which have words bigger than 32 bits.

GoogleStalker

GoogleStalker is a tool to make people realize how much data Google has on you and how detailed this data is.

server-optimised-nixos

Hom

Hom - React.JS for Haskell!

servis

Github project where I track everything related to my thesis

webauthn-oidc

an stateless OpenID Connect authorization server that mints ID Tokens from Webauthn challenges

nixos-stuff

nix-acbuild

Build minimal ACI containers using the Nix package manager

servant-jwt-example

Servant authentication with javascript web tokens

packet-ipv6-kubernetes

nomad-driver-systemd

ghcjs-servant-client

Automatic generation of haskell functions for querying servant webservices ... in GHCJS!

haskell-fido2

A library for parsing and validating webauthn/fido2 credentials

generics-mrsop-diff

Typesafe structural diffing of haskell datratypes using generics

generics-mrsop-graphviz

Visualization of haskell datatypes

crdt

Haskell implementation of CRDTs

BSODOS

a little joke kernel, displays a BSOD and halts.

ShowcaseView

nixos-village

AWS infrastructure for the NixOS village at Camp

arianvp.me

types-and-statemachines

Research project about types and state machines, and their applications in HTTP

SummerOS

a summer project. time for an operating system!

Haskeme

Haskell Scheme parser

nixos-vultr-bootstrap

scotty-lucid

lucid integration for Scotty

auth

auth is a highly modern, secure and minimal identity management paltform

kpop.sh

Proof of Prior Knowledge service

servant-tutorial

systemd_exporter

Exports systemd metrics to prometheus

webauthn-minimal

Minimal go implementation of a Webauthn L2 relying party

colog-journald

Journald logging for the colog library

hconfig

Applicative configuration DSL

mini-hydra

hex

Hex-tools is a docker substitute built on systemd and btrfs

generics-mrsop-gdiff

meteorchat

A mobile chat app written in Meteor

vulkano-pathtracer

A multi-stage unidirectional path tracer for microfacet models

RuneSauce

Runescape Emulator in Coffeescript

toiletfreshener

An intelligent toilet freshener

try_git

hashicorp-cluster

Deploy a hashicorp cluster with ansible

ISAAC

A portable version of the ISAAC stream cipher

edible

a RESTful blogging platform based on node.js

elm-gallery

A simple elm-html app with CSS transitiosn.

type-level-web

A talk for Bobkonf

keyboards

Collection of firmware for the keyboards I own

SnakesOnACanvas

THERE'S A SNAKE IN MY BOOT

recipes

Recipe manager for ARM Mainframes (Where Mainframe is a small device, like a smartphone, sitting on your desk ;))

frameless

Frameless is a CSS framework that does it right.

RayTracerLinux

Jacco Bikker's RayTracer with modifications for linux. All rights reserved

Coffeescript-NodeJS-chatserver

a coffeescript + node.js chat server

mbd-report

PAC Learning Research

ledstrip

Firmware for the ESP8266 for driving WS2821/2 Ledstrips

venus

tresor

MidiProject

latex-template

wlpawesomeness

Program verification assignment 1

arduinoscilloscope

This was used to see if I could turn harddrive motor output into gray code using some comparators. Will turn it into a web-based oscilloscope

hginx

A haskell web server with systemd socket activation support

xv6

An OS that I use to learn about OS Dev

arch-t430s-installer

Provisioner for my laptop. will remove ansible dependency later.

public-key-credential-element

a Form-associated custom element for Webauthn

systemd-creds