- Toronto, ON, Canada
Lists (3)
Sort Name ascending (A-Z)
Stars
🚨 Collection of Prometheus alerting rules
HACL*, a formally verified cryptographic library written in F*
Vulnerability (CVE) scanner for Nix/NixOS [maintainer=@henrirosten]
Trustix: Distributed trust and reproducibility tracking for binary caches [maintainer=@adisbladis]
🤗 PEFT: State-of-the-art Parameter-Efficient Fine-Tuning.
Code for loralib, an implementation of "LoRA: Low-Rank Adaptation of Large Language Models"
Tool for robust segmentation of >100 important anatomical structures in CT and MR images
Official code for the CHIL 2024 paper: "Vision-Language Generative Model for View-Specific Chest X-ray Generation"
Implementation of MedSegDiff in Pytorch - SOTA medical segmentation using DDPM and filtering of features in fourier space
A wrapper tool for nix OpenGL application [maintainer=@guibou]
MIMIC Code Repository: Code shared by the research community for the MIMIC family of databases
Train to 94% on CIFAR-10 in <6.3 seconds on a single A100. Or ~95.79% in ~110 seconds (or less!)
A stream-based runtime-verification framework for generating hard real-time C code.
KATT (Klarna API Testing Tool) is an HTTP-based API testing tool for Erlang.
An example project for building containers with Nix and deploying them to Kubernetes
Pythonic tool for orchestrating machine-learning/high performance/quantum-computing workflows in heterogeneous compute environments.
Agda formalisation of the Introduction to Homotopy Type Theory
HoTTEST Summer School materials
[CVPR 2021] Official PyTorch implementation for Transformer Interpretability Beyond Attention Visualization, a novel method to visualize classifications by Transformer based networks.
A framework for distributed systems verification, with fault injection
Distributed reliable key-value store for the most critical data of a distributed system
A Library for Representing Recursive and Impure Programs in Coq
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.