bcdarwin's Stars
etcd-io/etcd
Distributed reliable key-value store for the most critical data of a distributed system
huggingface/peft
🤗 PEFT: State-of-the-art Parameter-Efficient Fine-Tuning.
microsoft/LoRA
Code for loralib, an implementation of "LoRA: Low-Rank Adaptation of Large Language Models"
jepsen-io/jepsen
A framework for distributed systems verification, with fault injection
samber/awesome-prometheus-alerts
🚨 Collection of Prometheus alerting rules
ibis-project/ibis
the portable Python dataframe library
happi/theBeamBook
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.
MIT-LCP/mimic-code
MIMIC Code Repository: Code shared by the research community for the MIMIC family of databases
hila-chefer/Transformer-Explainability
[CVPR 2021] Official PyTorch implementation for Transformer Interpretability Beyond Attention Visualization, a novel method to visualize classifications by Transformer based networks.
hacl-star/hacl-star
HACL*, a formally verified cryptographic library written in F*
rancher/rke2
wasserth/TotalSegmentator
Tool for robust segmentation of >100 important anatomical structures in CT and MR images
tysam-code/hlb-CIFAR10
Train to 94% on CIFAR-10 in <6.3 seconds on a single A100. Or ~95.79% in ~110 seconds (or less!)
jacobgil/vit-explain
Explainability for Vision Transformers
AgnostiqHQ/covalent
Pythonic tool for orchestrating machine-learning/high performance/quantum-computing workflows in heterogeneous compute environments.
nix-community/nixGL
A wrapper tool for nix OpenGL application [maintainer=@guibou]
nixified-ai/flake
A Nix flake for many AI projects
Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
nix-community/vulnix
Vulnerability (CVE) scanner for Nix/NixOS [maintainer=@henrirosten]
newca12/awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
nix-community/trustix
Trustix: Distributed trust and reproducibility tracking for binary caches [maintainer=@adisbladis]
martinescardo/HoTTEST-Summer-School
HoTTEST Summer School materials
lucidrains/med-seg-diff-pytorch
Implementation of MedSegDiff in Pytorch - SOTA medical segmentation using DDPM and filtering of features in fourier space
DeepSpec/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
uwplse/verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
agda/agda2hs
Compiling Agda code to readable Haskell
HoTT-Intro/Agda
Agda formalisation of the Introduction to Homotopy Type Theory
for-GET/katt
KATT (Klarna API Testing Tool) is an HTTP-based API testing tool for Erlang.
the-nix-way/real-world-devops-with-nix
An example project for building containers with Nix and deploying them to Kubernetes
ttumyche/UniXGen
Official code for the CHIL 2024 paper: "Vision-Language Generative Model for View-Specific Chest X-ray Generation"