jrbeaumont

PhD Computer Engineer. Senior software (backend) engineer at @qogita.

London

Pinned Repositories

boolean
A library for manipulating Boolean expressions
Language:Haskell0 2 00
concepts-arc2017
Language:TeX0 2 10
concepts-article
An article in development for Concepts
Language:TeX00
concepts-blog
Blog for concepts
Language:SCSS0 1 00
concepts-manual
Manual for the concepts tool
Language:TeX0 2 00
concepts-tool-paper
Language:TeX00
concepts-article
An article in development for Concepts
Language:TeX0 2 42
plato
A DSL for asynchronous circuits specification
Language:Haskell12 3 282
process-mining
A library for process mining
Language:Haskell8 5 62
workcraft
Toolset to capture, simulate, synthesize and verify graph models
Language:Java61 10 937142

jrbeaumont's Repositories

jrbeaumont/boolean
A library for manipulating Boolean expressions
Language:Haskell0 2 00
jrbeaumont/concepts-arc2017
Language:TeX0 2 10
jrbeaumont/concepts-article
An article in development for Concepts
Language:TeX00
jrbeaumont/concepts-blog
Blog for concepts
Language:SCSS0 1 00
jrbeaumont/concepts-manual
Manual for the concepts tool
Language:TeX0 2 00
jrbeaumont/concepts-tool-paper
Language:TeX00
jrbeaumont/drf-spectacular
Sane and flexible OpenAPI 3 schema generation for Django REST framework.
jrbeaumont/fb-messenger-cli
Subtle++, commandline facebook messenger
Language:JavaScript2 0
jrbeaumont/hama-sim
Python DPD simulator
Language:Python
jrbeaumont/hexml
A bad XML parser
Language:C2 0
jrbeaumont/jrbeaumont.github.io
Personal website
Language:HTML
jrbeaumont/plato
A DSL for asynchronous circuits specification
Language:Haskell2 0
jrbeaumont/plato-fsm-techmemo
Language:TeX3 0
jrbeaumont/process-mining
A library for process mining
Language:Haskell
jrbeaumont/sodoku-solver
Language:Java2 0
jrbeaumont/SuguruSolver
Language:Java2 0
jrbeaumont/tuura-testrepo
2 0
jrbeaumont/workcraft
Toolset to capture, simulate, synthesize and verify graph models
Language:Java