Discover sheganinans/pfpl-shen Open Source project

Stars
4
Rank 3,303,837 (Top 66 %)
Language Shen
Created over 6 years ago
Updated over 6 years ago

sheganinans

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

Practical Foundations in Programming Languages by Robert Harper in Shen

Smoosh

A Blazing Fast, Bit-Oriented Serializer

urweb_deep_dive

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

UrWeb

pres

My old Haskell presentation, still some good bits.

Haskell

Static-Dimensions

A statically typed dimensional analysis calculator written in Agda.

Agda

secret_hitler

Secret Hitler implemented with Ur/Web

UrWeb

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

Rust

fact_table_utils

Mercury fact_table utils

Mercury

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)

JavaScript

urweb-rs

Rust bindings to Ur/Web header file.

Rust

x86-Reference

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

Haskell

QVM-ocaml-mini

A Simple Quantum Virtual Machine, implemented in OCaml

OCaml

marky

MCMC-based time series generation utility for CSV files

Rust

sheganinans

config

My configs

Nix

sheganinans/pfpl-shen

sheganinans

Reviews

Repository Details

More Repositories