Pinned Repositories
Advent-of-Code
APirateGame
SEPR assessment 3
Brownian_Motion
Formalisation of the Wiener process in Isabelle/HOL
chess
Command-line chess
cplaursen.github.io
My website
dalle-mini
DALL·E Mini - Generate images from a text prompt
dotfiles
my dotfiles
isabelle-hypermap
Formalization of planar hypermaps in Isabelle/HOL
SHS-sim
Simulation for Stochastic Hybrid Systems
vim-isabelle
Syntax plugin for Isabelle files
cplaursen's Repositories
cplaursen/vim-isabelle
Syntax plugin for Isabelle files
cplaursen/Brownian_Motion
Formalisation of the Wiener process in Isabelle/HOL
cplaursen/isabelle-hypermap
Formalization of planar hypermaps in Isabelle/HOL
cplaursen/SHS-sim
Simulation for Stochastic Hybrid Systems
cplaursen/Advent-of-Code
cplaursen/APirateGame
SEPR assessment 3
cplaursen/chess
Command-line chess
cplaursen/cplaursen.github.io
My website
cplaursen/dalle-mini
DALL·E Mini - Generate images from a text prompt
cplaursen/dotfiles
my dotfiles
cplaursen/feynman
A javascript application for creating feynman diagrams. Live at feynman.aivazis.com
cplaursen/Team-iPatch
cplaursen/FUML
cplaursen/Isabelle-SdL
Stochastic differential dynamic logic in Isabelle/HOL
cplaursen/keras-preprocessing
Utilities for working with image data, text data, and sequence data.
cplaursen/learning-basics
cplaursen/lichess-mobile
Lichess mobile app v2
cplaursen/twitter_bot
Gathers info from accounts and makes tweets resembling them
cplaursen/vim-potion
Syntax highlighting for the potion language. Follows learn vimscript the hard way.