dnaumenko

microbatch-hourly-deduped-tutorial

queueing-theory

Queueing theory: an introduction for software development

15445-bootcamp

A basic introduction to coding in modern C++.

rxv64

xv6 OS

softgpu

SW and HW accelerated GPU driver for Windows 9x Virtual Machines

protocol-bugs-list

List of bugs found in distributed protocols

secretive

Store SSH keys in the Secure Enclave

napkin-math

Techniques and numbers for estimating system's performance from first-principles

aero

Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such as long mode, 5-level paging, and SMP (multicore), to name a few.

libunwind

libunwind official github repo (in need of new / additional maintainer, mail/open issue if interested)

seL4

The seL4 microkernel

ron

Rusty Object Notation

AnimatedDrawings

Code to accompany "A Method for Animating Children's Drawings of the Human Figure"

AutoGPT

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

xgboost

Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Dask, Flink and DataFlow

awesome-gpt4

A curated list of prompts, tools, and resources regarding the GPT-4 language model.

typst

A new markup-based typesetting system that is powerful and easy to learn.

sniffnet

Comfortably monitor your Internet traffic 🕵️‍♂️

velox

A C++ vectorized database acceleration library aimed to optimizing query engines and data processing systems.

pgvector

Open-source vector similarity search for Postgres

firecracker

Secure and fast microVMs for serverless computing.

uform

Pocket-Sized Multimodal AI for content understanding and generation across multilingual texts, images, and 🔜 video, up to 5x faster than OpenAI CLIP and LLaVA 🖼️ & 🖋️

slice.net

A simple C# type for working with contiguous buffers.

Prompt-Engineering-Guide

🐙 Guides, papers, lecture, notebooks and resources for prompt engineering

prj-algo

Курс по алгоритмике в Projector

austral

Systems language with linear types and capability-based security.

armstrong-distributed-systems

Notes on how we potentially could build reliable, scalable and maintainable computer systems.

nanoGPT

The simplest, fastest repository for training/finetuning medium-sized GPTs.

crux-top-lists

Downloadable snapshots of the Chrome Top Million Websites pulled from public CrUX data in Google BigQuery.

Ripes

A graphical processor simulator and assembly editor for the RISC-V ISA