Giters
solrun

solrun

Geek Repo

15

followers

4

following

7

stars

Github PK Tool:Github PK Tool

solrun's repositories

bottomquickspec

QuickSpecing bottoms!

Language:HaskellStargazers:3Issues:5Issues:0

ActivityRecognition

Language:Jupyter NotebookStargazers:2Issues:1Issues:0

CoreTypedLuaParser

A parser in Haskell for core Typed Lua

Language:HaskellStargazers:1Issues:1Issues:0

GoEuroTest

Solution to GoEuro's Java Developer Test

Language:JavaStargazers:1Issues:1Issues:0

LibraryOfLemmas

LOL: a Library of Lemmas

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:1Issues:0

vampspec

Combining Vampire and QuickSpec

Language:Jupyter NotebookStargazers:1Issues:1Issues:0

FEECa

FEECa: Finite Element Exterior Calculus in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

graphql-haskell

Haskell GraphQL implementation

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

IsaHipster

Theory Exploration for Isabelle using HipSpec

Language:HTMLStargazers:0Issues:2Issues:0

QHaskell

QHaskell: a tool for developing QDSLs in Haskell

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:2Issues:0

quickspec

Equational laws for free

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

TACOS

TACOS (There's a Cat On the Sundeck) detection unit

Language:PythonStargazers:0Issues:1Issues:0

tools

Language:HaskellStargazers:0Issues:1Issues:0

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:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0