Christian Pardillo Laursen's repositories
vim-isabelle
Syntax plugin for Isabelle files
Brownian_Motion
Formalisation of the Wiener process in Isabelle/HOL
isabelle-hypermap
Formalization of planar hypermaps in Isabelle/HOL
APirateGame
SEPR assessment 3
Language:Java000
chess
Command-line chess
Language:HaskellNOASSERTION000
cplaursen.github.io
My website
000
dalle-mini
DALL·E Mini - Generate images from a text prompt
Language:PythonApache-2.0000
dotfiles
my dotfiles
Language:Vim script000
feynman
A javascript application for creating feynman diagrams. Live at feynman.aivazis.com
Language:JavaScript000
Language:Java000
Language:TeX000
Isabelle-SdL
Stochastic differential dynamic logic in Isabelle/HOL
MIT000
keras-preprocessing
Utilities for working with image data, text data, and sequence data.
Language:PythonNOASSERTION000
Language:Python000
lichess-mobile
Lichess mobile app v2
GPL-3.0000
twitter_bot
Gathers info from accounts and makes tweets resembling them
Language:Python000
vim-potion
Syntax highlighting for the potion language. Follows learn vimscript the hard way.