dylansp Goto Github PK

alabaster

authsystem

Authentication/authorization system in .NET Core

authsystempasswordservice

AuthSystem's password service, separated and bundled into one project for easy review

civ-history-procgen

Procedurally generating the history of a world and its civilizations.

core1

First iteration of my Core language for functional programming implementation

decision-maker-experiments

deep-future

A digital implementation of R. Winder's board game Deep Future.

distributed-systems-resources

Resources on designing and operating distributed systems.

dotfiles

Dotfiles for personal use

dsutils

Reusable utility code for personal Go projects

faust-lang

An experimental language for exploring contract-based programming

fixed-point-combinator

fuzzing-for-binary-search-overflow

go-sql-pbt

Experimenting with property-based testing for basic data access functions in Go

gopls-rename-issue-repro

Minimal reproduction of a Gopls issue involving renaming structs

hvm

A massively parallel, optimal functional runtime in Rust

lets-build-a-compiler

Experimenting with building a compiler, following compilers.iecc.com/crenshaw/.

llvm-bindings-test

Testing that the llvm-bindings library works decently

massively-multiplayer-ttt

"Massively multiplayer" tic-tac-toe. For learning Elixir/Phoenix/LiveView.

mazes

Working through/inspired by Mazes for Programmers, by Jamis Buck

miscd

A distributed, sharded key-value store for learning how to build distributed systems.

n-queens

Solving the n-queens problem with Prolog and verifying solutions with Go.

ooda-game-notebooks

Jupyter notebooks for simulating parts of my OODA board game

ooda-game-probabilities-page

Messing around with probability calculations for my OODA board game

pokemon-showdown

Pokémon battle simulator.

pokemon-showdown-client

The client for Pokémon Showdown

puccinia-basic-poc

Simple proof of concept for using Rust NIFs and wasm to deploy logic to both server and client

puccinia-photo-manager

Simple photo manager tech demo using the PETAL stack, as well as Rust for client/server code sharing

purely-functional-blog

scheme-examples

Example R5RS Scheme programs, used for testing my compiler from write-yourself-a-scheme.