Highlights
- Pro
Stars
A free book about developing secure and robust systems software.
A demo implementation of a simple dependently-typed language
Companion materials for 'Binary Software Exploitation by Example' presentation.
Template-based proofs of concurrent search structures.
charguer / ocaml
Forked from ocaml/ocamlTrying to improve ocaml type error messages for beginners
Javascript version of nanomunchers for Dr. Ecco
IIPMooViewer is an advanced javascript HTML5 image viewer for streaming high resolution scientific images
An OStatus library for node-js. Implementing webfinger, PubSubHubBub, hcard, atom/json activitystreams and salmon. It serves as the building block of a decentralized social network.
[NOT MAINTAINED] diaspora... as a couchapp! in pure javascript and fully OStatus compliant (almost)
A privacy-aware, distributed, open source social network.
An opinion on APi-driven web application program flow
DEPRECATED: Demo for IIW #15: Basic XDI messaging and connectors
A helper for creating declarative interfaces in controllers
Flexible authentication solution for Rails with Warden.
The graphics segment of Dwarf Fortress
Moved to https://github.com/nodejs/node