Stars
The source for the website of the SSF CHAINS project https://chains.proj.kth.se/
Long term storage of software bills of materials (sbom) https://arxiv.org/pdf/2303.11102.pdf
repository for material for Jan-Mar 2023 course on formalising mathematics
Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
DepClean automatically detects and removes unused dependencies in Maven projects 🔗 https://dx.doi.org/10.1007/s10664-020-09914-8)
OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.
A collection of resources for learning type theory and type theory adjacent fields.
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
A gently curated list of companies using verification formal methods in industry
This is a course in functional and concurrent programming given at KTH.
Learn how identifiable you are on the Internet
Bootstrap Kubernetes the hard way. No scripts.
Repository of the DevOps course at KTH Royal Institute of Technology DD2482
📚 Freely available programming books
The "Python Machine Learning (1st edition)" book code repository and info resource
Easy benchmarking of all publicly accessible implementations of convnets
CoreOS iPXE server
Qt-based utility for watching and downloading swedish broadcasting.
The official home of JBidwatcher's source code, an eBay auction sniping, bidding & monitoring software application.
Policy based networking for cloud native applications
Deploy and manage OpenStack on Kubernetes
The open and composable observability and data visualization platform. Visualize metrics, logs, and traces from multiple sources like Prometheus, Loki, Elasticsearch, InfluxDB, Postgres and many mo…
Small command-line program to download videos from some streaming sites.
Making the examples code of "The Definitive Guide to the Xen Hypervisor" work with Xen-4.2 or above
Slides, figures, and other material for teaching using tracing and observability on FreeBSD