-
Rubrik Inc
- New York, NY
- https://davidterei.com/
Stars
- All languages
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- Coq
- Cuda
- Emacs Lisp
- Erlang
- Go
- HTML
- Hack
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Lean
- Lua
- MDX
- Makefile
- OCaml
- Objective-C
- PHP
- Perl
- Python
- R
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Smarty
- Solidity
- Swift
- TypeScript
- TypeSpec
- Vim Script
- Visual Basic
- XSLT
Anthropic's Interactive Prompt Engineering Tutorial
Open source repository of plugins primarily intended for knowledge workers to use in Claude Cowork
Techniques and numbers for estimating system's performance from first-principles
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
An Emacs framework for the stubborn martian hacker
libvim: The core Vim editing engine as a minimal C library
Tile primitives for speedy kernels
A tool for analyzing the size of compiled Go binaries, offering cross-platform support, detailed breakdowns, and multiple output formats.
Un overlay pour dynamiser BombParty avec des fonctionnalités supplémentaires et une personnalisation approfondie
Pioneering Automated GUI Interaction with Native Agents
Distributed Compiler based on Triton for Parallel Systems
Copy a Postgres database to a target Postgres server (pg_dump | pg_restore on steroids)
Event streaming platform for agents, apps, and analytics. Continuously ingest, transform, and serve event data in real time, at scale.
The easiest, most secure way to use WireGuard and 2FA.
KAI Scheduler is an open source Kubernetes Native scheduler for AI workloads at large scale
Crane scheduler is a Kubernetes scheduler which can schedule pod based on actual node load.
A Cloud Native Batch System (Project under CNCF)
a unified scheduler for online and offline tasks
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more