This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware.

🎉 create a single executable out of your node.js apps

Blazing fast, instant realtime GraphQL APIs on all your data with fine grained access control, also trigger webhooks on database events.

TypeScript-first schema validation with static type inference

Tricks you wish the Coq manual told you [maintainer=@tchajed]

d2bot game manager by D3STROY3R with kolbot libs by kolton for d2bs

Fred

An Ansible plugin for timing tasks

DEPRECATED: Create React apps using typescript with no build configuration.

📚 The definitive guide to TypeScript and possibly the best TypeScript book 📖. Free and Open Source 🌹

Auto-complete source of racer

VS Code plugin for F# development

Unikernel written in rust

Generate polished résumés and CVs in HTML, Markdown, LaTeX, MS Word, PDF, plain text, JSON, XML, YAML, smoke signal, and carrier pigeon.

A work-stealing fork-join threadpool written in Rust.

A collection of custom allocators

Xen-based unikernel in Rust

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Lean Theorem Prover

CoreCLR is the runtime for .NET Core. It includes the garbage collector, JIT compiler, primitive data types and low-level classes.

Applicative option parser

My dotfiles. My Precious.