PCOffline
Follow
Lists (2)
Stars
Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.
A free book about developing secure and robust systems software.
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
Cloud-native search engine for observability. An open-source alternative to Datadog, Elasticsearch, Loki, and Tempo.
A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.
Material for my React Fundamentals Workshop
The fast Rust-based web bundler with webpack-compatible API 🦀️
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
A cross-platform, OpenGL terminal emulator.
A refreshingly simple data-driven game engine built in Rust
Open-Sora: Democratizing Efficient Video Production for All
21 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/
DuckDB is an analytical in-process SQL database management system
Understand how React hooks work by building them from scratch
Reasonable ESLint, Prettier, and TypeScript configs for epic web devs
Bring type level information to value level.
A type programming language which compiles to and interops with type-level TypeScript
Extract or modify pieces of arbitrarily nested types with type lenses
Code samples for my talk “Type-level programming in TypeScript”
A tool for evaluating TypeScript types step by step.
A proof of concept of a tree shakable Zod alternative. This library aims to have a 1:1 Zod compatible API, but with fine grain control over the final bundle size. This was done by a combination of …
A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.
Interactive exercises to get familiar with TypeScript's most advanced features
Additional types and types adjusted utilities for TypeScript