solrun
Follow
-
-
thesis-template Public template
Forked from CSEPhd-council/thesis-templateTemplate for Licentiate and PhD theses at the department of CSE at Chalmers.
TeX UpdatedMay 13, 2025 -
LibraryOfLemmas Public
LOL: a Library of Lemmas
-
quickspec Public
Forked from nick8325/quickspecEquational laws for free
-
-
-
yolov5 Public
Forked from ultralytics/yolov5A 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…
Python GNU General Public License v3.0 UpdatedOct 20, 2022 -
-
QHaskell Public
Forked from shayan-najd/QHaskellQHaskell: a tool for developing QDSLs in Haskell
Haskell GNU General Public License v3.0 UpdatedJul 2, 2018 -
-
IsaHipster Public
Forked from moajohansson/IsaHipsterTheory Exploration for Isabelle using HipSpec
HTML UpdatedFeb 2, 2018 -
FEECa Public
Forked from Airini/FEECaFEECa: Finite Element Exterior Calculus in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 20, 2017 -
TACOS Public
Forked from Tritlo/TACOSTACOS (There's a Cat On the Sundeck) detection unit
Python UpdatedMar 8, 2017 -
graphql-haskell Public
Forked from jdnavarro/graphql-haskellHaskell GraphQL implementation
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 14, 2016 -
-