solrun

Pinned Repositories

ActivityRecognition
Language:Jupyter Notebook2 1 01
bottomquickspec
QuickSpecing bottoms!
Language:Haskell3 5 00
CoreTypedLuaParser
A parser in Haskell for core Typed Lua
Language:Haskell1 1 00
FEECa
FEECa: Finite Element Exterior Calculus in Haskell
Language:Haskell0 1 00
GoEuroTest
Solution to GoEuro's Java Developer Test
Language:Java10
graphql-haskell
Haskell GraphQL implementation
Language:Haskell0 2 00
IsaHipster
Theory Exploration for Isabelle using HipSpec
Language:HTML0 2 00
LibraryOfLemmas
LOL: a Library of Lemmas
Language:Haskell10
QHaskell
QHaskell: a tool for developing QDSLs in Haskell
Language:Haskell00
vampspec
Combining Vampire and QuickSpec
Language:Jupyter Notebook10

solrun's Repositories

solrun/bottomquickspec
QuickSpecing bottoms!
Language:Haskell3 5 00
solrun/ActivityRecognition
Language:Jupyter Notebook2 1 01
solrun/CoreTypedLuaParser
A parser in Haskell for core Typed Lua
Language:Haskell1 1 00
solrun/GoEuroTest
Solution to GoEuro's Java Developer Test
Language:Java10
solrun/LibraryOfLemmas
LOL: a Library of Lemmas
Language:Haskell10
solrun/vampspec
Combining Vampire and QuickSpec
Language:Jupyter Notebook10
solrun/FEECa
FEECa: Finite Element Exterior Calculus in Haskell
Language:Haskell0 1 00
solrun/graphql-haskell
Haskell GraphQL implementation
Language:Haskell0 2 00
solrun/IsaHipster
Theory Exploration for Isabelle using HipSpec
Language:HTML0 2 00
solrun/QHaskell
QHaskell: a tool for developing QDSLs in Haskell
Language:Haskell00
solrun/quickspec
Equational laws for free
Language:Haskell0 1 00
solrun/TACOS
TACOS (There's a Cat On the Sundeck) detection unit
Language:Python1 0
solrun/tools
Language:Haskell
solrun/yolov5
A modified version of YOLOv5 🚀 specialized in household objects with an additional teapot class, made by Group WASP_AS_M1_Chalmers1 for Object Detection Assignment in WASP Autonomous Systems Course HT22.
Language:Python