sheganinans/urweb_deep_dive sheganinans/urweb_deep_dive

  • Stars
    star
    14
  • Rank 1,437,830 (Top 29 %)
  • Language UrWeb
  • Created over 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sheganinans/urweb_deep_dive
github

sheganinans

Reviews

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

Repository Details

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

More Repositories

1

Smoosh

A Blazing Fast, Bit-Oriented Serializer
F#
18
star
2

pres

My old Haskell presentation, still some good bits.
Haskell
8
star
3

pfpl-shen

Practical Foundations in Programming Languages by Robert Harper in Shen
Shen
4
star
4

Static-Dimensions

A statically typed dimensional analysis calculator written in Agda.
Agda
4
star
5

secret_hitler

Secret Hitler implemented with Ur/Web
UrWeb
3
star
6

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.
J
3
star
7

stockfighter

Complete Rust API for StockFighter
Rust
2
star
8

fact_table_utils

Mercury fact_table utils
Mercury
2
star
9

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
2
star
10

urweb-rs

Rust bindings to Ur/Web header file.
Rust
1
star
11

x86-Reference

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

QVM-ocaml-mini

A Simple Quantum Virtual Machine, implemented in OCaml
OCaml
1
star
13

marky

MCMC-based time series generation utility for CSV files
Rust
1
star
14

sheganinans

1
star
15

config

My configs
Nix
1
star