vertexclique
λx.λy.y → λx.λz.z | compiler opt, @rust-lang, and ML | 0xD20F2F5E6DFD6F11 – Different barb, same wire
Berlin, Germany
vertexclique's Stars
microsoft/ebpf-for-windows
eBPF implementation that runs on top of Windows
microsoft/ntosebpfext
eBPF-For-Windows extension to provide access to Windows kernel functionality
rust-lang/rustc_codegen_gcc
libgccjit AOT codegen for rustc
hyprwm/Hyprland
Hyprland is a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
ornladios/ADIOS2
Next generation of ADIOS developed in the Exascale Computing Program
tikv/pprof-rs
A Rust CPU profiler implemented with the help of backtrace-rs
metrics-rs/metrics
A metrics ecosystem for Rust.
KindXiaoming/pykan
Kolmogorov Arnold Networks
dnhkng/GlaDOS
This is the Personality Core for GLaDOS, the first steps towards a real-life implementation of the AI from the Portal series by Valve.
haotian-liu/LLaVA
[NeurIPS'23 Oral] Visual Instruction Tuning (LLaVA) built towards GPT-4V level capabilities and beyond.
cmuparlay/ParlayANN
A library of algorithms for approximate nearest neighbor search in high dimensions, along with a set of useful tools for designing such algorithms.
facebookincubator/nimble
New file format for storage of large columnar datasets.
NVIDIA/cuCollections
meta-llama/PurpleLlama
Set of tools to assess and improve LLM security.
meta-llama/llama3
The official Meta Llama 3 GitHub site
stanford-oval/storm
An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.
KaHIP/KaHIP
KaHIP -- Karlsruhe HIGH Quality Partitioning.
brkydnc/cudi
📟 A small tool for displaying CUDA device properties
IntelLabs/ScalableVectorSearch
memorysafety/river
This repository is the home of the River reverse proxy application, based on the pingora library from Cloudflare.
spack/spack
A flexible package manager that supports multiple versions, configurations, platforms, and compilers.
princeton-nlp/SWE-agent
SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It solves 12.47% of bugs in the SWE-bench evaluation set and takes just 1.5 minutes to run.
vitalitylearning2021/CUDA-Utilities
moderngpu/moderngpu
Patterns and behaviors for GPU computing
nano-o/PaxosMadeSimple
A TLA+ formalization of the algorithm described in "Paxos Made Simple"
NVIDIA/cutlass
CUDA Templates for Linear Algebra Subroutines
TravisWThompson1/Makefile_Example_CUDA_CPP_To_Executable
Example Makefile for CUDA and C++ source files in a standard project layout.
NVIDIA/cuda-samples
Samples for CUDA Developers which demonstrates features in CUDA Toolkit
tikv/minitrace-rust
Extremely fast tracing library for Rust
speculare-cloud/speculare-server
Receive, store info coming from the client into the database and handle alerts to report incidents based on criteria