Tag Invoke + Customization Point generator and validator

The math library of Lean 4

A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.

Protocol Buffers - Google's data interchange format

HPCC Systems (High Performance Computing Cluster) is an open source, massive parallel-processing computing platform for big data processing and analytics.

Learn how to program FPGAs, starting from .. relatively scratch

Documentation for extending Visual Studio with new types of projects.

🌹 A ☁️ ready IDE just for TypeScript ❤️

Haskell HTTP package

A Haskell implementation of the Tor protocol.

Haskell-based shell scripting language

Lean Theorem Prover

Speech and Vision Based Intelligent Personal Assistant

The seL4 microkernel

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

For slim progress bars like on YouTube, Medium, etc

stumblebook

Find smooth and easy bike routes around Philly