AG00

AG00's Stars

• bitnami/containers

  Bitnami container images

  Language:Shell3.2k4.7k

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.3k294

• mal-lang/mal-toolbox

  Language:Python42

• chains-project/chains-project.github.io

  The source for the website of the SSF CHAINS project https://chains.proj.kth.se/

  73

• chains-project/sbom-files

  Long term storage of software bills of materials (sbom) https://arxiv.org/pdf/2303.11102.pdf

  Language:Python61

• ImperialCollegeLondon/formalising-mathematics-2023

  repository for material for Jan-Mar 2023 course on formalising mathematics

  Language:Lean4916

• 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

  Language:Lean11825

• 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

  Language:Lean30122

• ASSERT-KTH/depclean

  DepClean automatically detects and removes unused dependencies in Maven projects (https://dx.doi.org/10.1007/s10664-020-09914-8)

  Language:Java24128

• castor-software/openmz

  OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.

  Language:Assembly122

• jozefg/learn-tt

  A collection of resources for learning type theory and type theory adjacent fields.

  2.1k116

• mgrabovsky/fm-notes

  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

  Language:Coq202

• ligurio/practical-fm

  A gently curated list of companies using verification formal methods in industry

  48636

• ID1019/functional-programming

  This is a course in functional and concurrent programming given at KTH.

  Language:TeX8039

• DIVERSIFY-project/amiunique

  Learn how identifiable you are on the Internet

  Language:JavaScript68394

• kelseyhightower/kubernetes-the-hard-way

  Bootstrap Kubernetes the hard way. No scripts.

  40.3k13.8k

• KTH/devops-course

  Repository of the DevOps course at KTH Royal Institute of Technology DD2482

  Language:Python187362

• EbookFoundation/free-programming-books

  :books: Freely available programming books

  333k61k

• elad/openbsd-apu2

  OpenBSD on the APU2

  18821

• rasbt/python-machine-learning-book

  The "Python Machine Learning (1st edition)" book code repository and info resource

  Language:Jupyter Notebook12.2k4.4k

• soumith/convnet-benchmarks

  Easy benchmarking of all publicly accessible implementations of convnets

  Language:Python2.7k577

• combient/coreos-ipxe-server

  CoreOS iPXE server

  Language:Go1

• jackuess/pirateplayer

  Qt-based utility for watching and downloading swedish broadcasting.

  Language:Java4212

• cyberfox/jbidwatcher

  The official home of JBidwatcher's source code, an eBay auction sniping, bidding & monitoring software application.

  Language:Java21175

• projectcalico/canal

  Policy based networking for cloud native applications

  714100

• stackanetes/stackanetes

  Deploy and manage OpenStack on Kubernetes

  Language:Shell24750

• 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.

  Language:TypeScript63.5k11.9k

• spaam/svtplay-dl

  Small command-line program to download videos from some streaming sites.

  Language:Python713118

• koukaipan/xen-examples

  Making the examples code of "The Definitive Guide to the Xen Hypervisor" work with Xen-4.2 or above

  Language:C3319

• teachbsd/course

  Slides, figures, and other material for teaching using tracing and observability on FreeBSD

  Language:TeX37868