Paul Wilson

catgrad. a categorical deep learning compiler

209

cartographer-string-diagrammatic-reasoning. Haskell

45

numeric-optics-python. Python

28

open-hypergraphs. a datastructure for scalable combinatorial syntax

20

pp. probabilistic programming in Haskell

17

elf-from-scratch. generate an ELF64 binary from scratch

17

catgpt. Python

10

act-2020-experiments. Haskell

6

hackage-fu. JavaScript

4

telechat. Telnet chat server

4

double-dhall. Demo adding Double arithmetic to Dhall

4

rda. Haskell

4

cartographer-har. Python

3

attoparsec-arff. An attoparsec-based parser for ARFF files in Haskell

3

numeric-optics-haskell. Haskell

2

gym-cartpole-pd-controller. Python

2

machines-io. Haskell

2

gptlingo. Practice speaking chinese with contextual word lookup

2

snaplet-riak. A Snaplet for the Riak database

2

gla-layout. A layout algorithm for drawing simple string diagrams a la https://graphicallinearalgebra.net/

2

riscv-macroassembler. Python

2

ezmlir. Python

2

hyperast. Python

1

hypergraph-rewriting. Haskell

1

cloud-haskell-socket-test. A simple telnet-chat server with cloud-haskell / distributed-process and sockets.

1

slidehustle. Minimalist terminal markdown slide decks

1

python-bootstrap-particle-filter-talk. Materials for a talk on the bootstrap particle filter, with Python implementation

1

tinyrenderer-rust. Doing the tinyrenderer course in Rust

1

miso-smc. JavaScript

1

machines-attoparsec. Parsing combinator for incremental input using machines

1

halite2. An abandoned Halite II library + simple bot

1

cartographer-core. Haskell

1

example-rust-discord-image-bot. Rust

1

proofcell. a proof kernel for symmetric monoidal theories

1

scaleway-servant-demo. Demo app to run on scaleway's ARM servers

1

aeson-traversal. Traversals and Prisms for Data.Aeson

1

Porter-Stemmer. Go

1