david-a-wheeler

jiffo

Javascript Interactive Fiction Framework that's Open Source Software - INACTIVE

cl-metamath

Metamath library/verifier in Common Lisp

linux

Linux kernel modifications

choosealicense.com

A site to provide non-judgmental guidance on choosing a license for your open source project

hello

Say "hello world" as a simple project example

metamath-ada

A metamath proof checker in Ada

wivet

Web Input Vector Extractor Teaser

test-badge-project

A test for transferring projects

awesome-appsec

A curated list of resources for learning about application security

benbalter.github.com

The personal website of Ben Balter. Built using Jekyll and GitHub Pages. See humans.txt for more infos.

fastly-ruby

Fastly API Gem

fuzzer-fat-fingers

Comparative language fuzz testing: Programming languages vs. fat fingers. In PLATEAU 2012: 4th Annual International Workshop on Evaluation and Usability of Programming Languages and Tools--Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2012)

government-opensource-manual

Writings about open source adoption in governments

mal

mal - Make a Lisp

metamath-nf

New Foundations set theory developed in metamath

node

Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:

node.bcrypt.js

bcrypt for NodeJs

open-source-program

This is a set of artifacts that an organization can use to help bootstrap and support an open source program.

openproofs

proselint

A linter for prose.

quicklisp-projects

Metadata for projects tracked by Quicklisp.

set.mm

Metamath source file for logic and set theory

shields

Shields badge specification, website and default API server

tri_state

Rails checkboxes with three states - true, false or null (unknown)

vcr

Record your test suite's HTTP interactions and replay them during future test runs for fast, deterministic, accurate tests.