arianvp/elixir-isaac

Algorithms and Data structures

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Elixir
License
The Unlicense
Created over 9 years ago
Updated over 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.

server-optimised-nixos

GoogleStalker

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

Hom

Hom - React.JS for Haskell!

webauthn-oidc

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

servis

Github project where I track everything related to my thesis

nixos-stuff

nix-acbuild

Build minimal ACI containers using the Nix package manager

packet-ipv6-kubernetes

servant-jwt-example

Servant authentication with javascript web tokens

nomad-driver-systemd

ghcjs-servant-client

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

cgroup-exporter

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

nixos-village

AWS infrastructure for the NixOS village at Camp

BSODOS

a little joke kernel, displays a BSOD and halts.

ShowcaseView

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

scotty-lucid

lucid integration for Scotty

nixos-vultr-bootstrap

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

public-key-credential-element

a Form-associated custom element for Webauthn

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

nixcon2024

toiletfreshener

An intelligent toilet freshener

try_git

hashicorp-cluster

Deploy a hashicorp cluster with ansible

ISAAC

A portable version of the ISAAC stream cipher

lolmin

Reproducer for slow NixOS evals even with minimal module list

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

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.

SnakesOnACanvas

THERE'S A SNAKE IN MY BOOT

Coffeescript-NodeJS-chatserver

a coffeescript + node.js chat server

mbd-report

PAC Learning Research

venus

tresor

ledstrip

Firmware for the ESP8266 for driving WS2821/2 Ledstrips

RayTracerLinux

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

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

MidiProject

arch-t430s-installer

Provisioner for my laptop. will remove ansible dependency later.

slog-journal

slog: Handler for systemd journal

systemd-creds