sheganinans/config

Stars
1
Language
Nix
Created over 9 years ago
Updated over 6 years ago

sheganinans/config

sheganinans

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

My configs

Smoosh

A Blazing Fast, Bit-Oriented Serializer

urweb_deep_dive

WIP: Presentation turned blog series: Building the simplest possible thing over and over again.

pres

My old Haskell presentation, still some good bits.

pfpl-shen

Practical Foundations in Programming Languages by Robert Harper in Shen

Static-Dimensions

A statically typed dimensional analysis calculator written in Agda.

secret_hitler

Secret Hitler implemented with Ur/Web

J-Automata

Old college AI/Alife project: An implementation of the 8-neighbor 2D cellular automata that can accept an arbitrary binary ruleset. Written in 3 lines of J.

stockfighter

Complete Rust API for StockFighter

fact_table_utils

Mercury fact_table utils

OmegaSq

OmegaSq is a ClojureScript Canvas Visual Toy in which 3 trefoil knots have additive rotational vectors applied in a sequential self-dependent fashion, creating a pleasing animation that is possibly non-repeating, but more likely finite and very large. (Best viewed in Chrome)

urweb-rs

Rust bindings to Ur/Web header file.

x86-Reference

Takes the x86 reference from http://ref.x86asm.net/ and hoovers it up into a nice Haskell ADT.

QVM-ocaml-mini

A Simple Quantum Virtual Machine, implemented in OCaml

marky

MCMC-based time series generation utility for CSV files

sheganinans