Skip to content
View so's full-sized avatar

Block or report so

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Fast HTTP package for Go. Tuned for high performance. Zero memory allocations in hot paths. Up to 10x faster than net/http

Go 23,159 1,820 Updated Dec 18, 2025

Nix, the purely functional package manager

C++ 15,709 1,799 Updated Dec 24, 2025

A dynamic language inspired by Python and E.

Emacs Lisp 79 11 Updated Dec 24, 2020

A virtual machine for Monte.

Mathematica 68 7 Updated Oct 22, 2025

An Optional Type System for Lua

Lua 590 48 Updated Mar 11, 2020

xhyve, a lightweight OS X virtualization solution

C 6,448 353 Updated Jan 29, 2022

The seL4 microkernel

C 5,225 728 Updated Dec 19, 2025

A minimal C runtime for Linux i386 & x86_64

C 587 30 Updated Apr 10, 2022

Linux-based partitioning hypervisor

C 1,896 351 Updated May 18, 2024

A native framework for working with Bitcoin on iOS and OSX

Swift 132 20 Updated May 12, 2016

Port of TweetNaCl cryptographic library to JavaScript

JavaScript 1,899 296 Updated Aug 15, 2025

A Coq library for Homotopy Type Theory

Rocq Prover 1,363 199 Updated Dec 21, 2025

A truly modular frontend framework

JavaScript 2,820 140 Updated Jun 16, 2020

GWT implementation of standard the node.js library

Java 87 11 Updated Nov 5, 2011

A proper subset of Haskell that compiles to JavaScript

Haskell 1,283 89 Updated Jun 9, 2021

A simple jQuery plugin for restoring vertical baselines thrown off by odd image sizes

JavaScript 698 52 Updated Oct 15, 2015

Visualize your redis instances, analyze query patterns and spikes.

JavaScript 3,064 642 Updated Feb 5, 2022

super simple storage solution: a higher level aws client

JavaScript 5 1 Updated Jul 17, 2016

Innovators Patent Agreement (IPA)

927 127 Updated Jun 14, 2016

SecureUDID is an open-source sandboxed UDID solution aimed at solving the main privacy issues that caused Apple to deprecate UDIDs.

Objective-C 2 Updated Mar 28, 2012

Simple is a clone of Obtvse written in Python running on Flask.

CSS 510 273 Updated Oct 25, 2018

DEPRECATED - SecureUDID is an open-source sandboxed UDID solution aimed at solving the main privacy issues that caused Apple to deprecate UDIDs.

Objective-C 419 59 Updated Apr 17, 2017

lna for use with the ez-cap digital TV USB stick

Eagle 50 3 Updated Apr 27, 2016

[DEPRECATED] A replica of the Clear iphone app in HTML5

JavaScript 722 147 Updated Oct 2, 2020

A desktop and mobile widget library for Enyo

JavaScript 142 55 Updated Apr 2, 2018

Google App Engine Boilerplate

Python 681 184 Updated Oct 20, 2024

Demo of the webrtc peerconnection_server implemented in Google App Engine

Python 27 9 Updated Mar 20, 2012

scuts core library

Haxe 5 1 Updated Mar 18, 2013

Implementation of the SPDY Protocol in Haskell

Haskell 15 Updated Mar 26, 2013

Blossom is an iOS-style user interface framework for the web (JavaScript views, <canvas> rendering, and implicit animation).

JavaScript 218 16 Updated Aug 18, 2013
Next