AG00's Stars
bitnami/containers
Bitnami container images
leanprover-community/mathlib4
The math library of Lean 4
mal-lang/mal-toolbox
chains-project/chains-project.github.io
The source for the website of the SSF CHAINS project https://chains.proj.kth.se/
chains-project/sbom-files
Long term storage of software bills of materials (sbom) https://arxiv.org/pdf/2303.11102.pdf
ImperialCollegeLondon/formalising-mathematics-2023
repository for material for Jan-Mar 2023 course on formalising mathematics
ImperialCollegeLondon/formalising-mathematics-2022
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
ImperialCollegeLondon/formalising-mathematics
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
ASSERT-KTH/depclean
DepClean automatically detects and removes unused dependencies in Maven projects (https://dx.doi.org/10.1007/s10664-020-09914-8)
castor-software/openmz
OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.
jozefg/learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
mgrabovsky/fm-notes
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
ligurio/practical-fm
A gently curated list of companies using verification formal methods in industry
ID1019/functional-programming
This is a course in functional and concurrent programming given at KTH.
DIVERSIFY-project/amiunique
Learn how identifiable you are on the Internet
kelseyhightower/kubernetes-the-hard-way
Bootstrap Kubernetes the hard way. No scripts.
KTH/devops-course
Repository of the DevOps course at KTH Royal Institute of Technology DD2482
EbookFoundation/free-programming-books
:books: Freely available programming books
elad/openbsd-apu2
OpenBSD on the APU2
rasbt/python-machine-learning-book
The "Python Machine Learning (1st edition)" book code repository and info resource
soumith/convnet-benchmarks
Easy benchmarking of all publicly accessible implementations of convnets
combient/coreos-ipxe-server
CoreOS iPXE server
jackuess/pirateplayer
Qt-based utility for watching and downloading swedish broadcasting.
cyberfox/jbidwatcher
The official home of JBidwatcher's source code, an eBay auction sniping, bidding & monitoring software application.
projectcalico/canal
Policy based networking for cloud native applications
stackanetes/stackanetes
Deploy and manage OpenStack on Kubernetes
grafana/grafana
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 more.
spaam/svtplay-dl
Small command-line program to download videos from some streaming sites.
koukaipan/xen-examples
Making the examples code of "The Definitive Guide to the Xen Hypervisor" work with Xen-4.2 or above
teachbsd/course
Slides, figures, and other material for teaching using tracing and observability on FreeBSD