DylanSp
Software developer with an interest in the theory and implementation of programming languages. Also known as Ithilanor/IthilanorSP in various communities.
Pinned Repositories
alabaster
AuthSystem
Authentication/authorization system in .NET Core
distributed-systems-resources
Resources on designing and operating distributed systems.
fuzzing-for-binary-search-overflow
massively-multiplayer-ttt
"Massively multiplayer" tic-tac-toe. For learning Elixir/Phoenix/LiveView.
n-queens
Solving the n-queens problem with Prolog and verifying solutions with Go.
three-pass-compiler
Solution to the Three Pass Compiler kata on CodeWars, parsing and manipulating a very simple AST
typescript-node-starter
A template for writing TypeScript/Node projects.
wheel-lang
A small toy imperative language (with some OOP features) for demonstrating and practicing language design/implementation.
zmachine-interpreter
Writing a Haskell interpreter for the Infocom Z-machine
DylanSp's Repositories
DylanSp/wheel-lang
A small toy imperative language (with some OOP features) for demonstrating and practicing language design/implementation.
DylanSp/fuzzing-for-binary-search-overflow
DylanSp/typescript-node-starter
A template for writing TypeScript/Node projects.
DylanSp/AuthSystem
Authentication/authorization system in .NET Core
DylanSp/massively-multiplayer-ttt
"Massively multiplayer" tic-tac-toe. For learning Elixir/Phoenix/LiveView.
DylanSp/n-queens
Solving the n-queens problem with Prolog and verifying solutions with Go.
DylanSp/decision-maker-experiments
DylanSp/deep-future
A digital implementation of R. Winder's board game Deep Future.
DylanSp/dotfiles
Dotfiles for personal use
DylanSp/dsutils
Reusable utility code for personal Go projects
DylanSp/faust-lang
An experimental language for exploring contract-based programming
DylanSp/fixed-point-combinator
DylanSp/go-sql-pbt
Experimenting with property-based testing for basic data access functions in Go
DylanSp/gopls-rename-issue-repro
Minimal reproduction of a Gopls issue involving renaming structs
DylanSp/HVM
A massively parallel, optimal functional runtime in Rust
DylanSp/llvm-bindings-test
Testing that the llvm-bindings library works decently
DylanSp/ooda-game-notebooks
Jupyter notebooks for simulating parts of my OODA board game
DylanSp/ooda-game-probabilities-page
Messing around with probability calculations for my OODA board game
DylanSp/puccinia-basic-poc
Simple proof of concept for using Rust NIFs and wasm to deploy logic to both server and client
DylanSp/puccinia-photo-manager
Simple photo manager tech demo using the PETAL stack, as well as Rust for client/server code sharing
DylanSp/purely-functional-blog
DylanSp/script-ts-element
Custom web component for writing TypeScript directly within an HTML source
DylanSp/serde_rustler
Serde Serializer and Deserializer for Rustler NIFs.
DylanSp/spreadapi
Free REST API for Google Spreadsheet
DylanSp/sudoku-toolkit
Go toolkit for generating, solving, and otherwise analyzing Sudoku puzzles.
DylanSp/tic-tac-toe-react
A simple client-side Tic-Tac-Toe app for learning/practicing React.
DylanSp/ts-go-decision-maker
A web app for quickly making decisions as a group, using instant-runoff voting. Full-stack app with React/Go/Postgres.
DylanSp/typescript-challenge-backend
DylanSp/viking-clicker
Clicker/incremental game about Vikings.
DylanSp/vite-react-ts-customized
Customized version of Vite's React+Typescript template