Discover sheganinans/Static-Dimensions Open Source project

Stars
4
Rank 3,303,837 (Top 66 %)
Language Agda
License
Other
Created almost 11 years ago
Updated over 9 years ago

sheganinans

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

A statically typed dimensional analysis calculator written in Agda.

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

pfpl-shen

Practical Foundations in Programming Languages by Robert Harper in Shen

Shen

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/Static-Dimensions

sheganinans

Reviews

Repository Details

More Repositories