swils Goto Github PK

abrenuntio

bootstrap-3-typeahead

The Typeahead plugin from Twitter's Bootstrap 2 ready to use with Bootstrap 3

ch2o

ch2o-compcert

Soundness of CH2O with respect to CompCert C

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-library-undecidability

A library of mechanised undecidability proofs in the Coq proof assistant.

coq-tutorial

demo

goedel-2005

Archived since the contents have been moved to the Hydras & Co. repository

grape-swagger

Add swagger compliant documentation to your grape API

heroku-buildpack-python

Python buildpack

hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

ijdemo

infinite-scroll

jQuery and Wordpress plugins for infinite scroll

joint

JavaScript diagramming library

lean

Lean Theorem Prover

markdown-it-decorate

Add attributes, IDs and classes to Markdown

node-sword-interface

JavaScript (N-API) interface to SWORD library

ocamlearlybird

OCaml debug adapter

omniauth-mydigipass

OmniAuth strategy for mydigipass.com

pegasus-novus-publish

Word trainer

rack-google-analytics

Simple Rack middleware for implementing google analytics tracking in your Ruby-Rack based project. Supports synchronous and asynchronous insertion and configurable load options

react-autocomplete

WAI-ARIA compliant React autocomplete (combobox) component

requirejs-rails

RequireJS support for your Rails 3 or 4 application

rubypython

A github clone of the rubypython sources. The canonical source is on Bitbucket, but changes will be mirrored between these repositories.

syro-malabar-divine-office

Divine Office of the Syro-Malabar Church (translated by Fr. Robert Matheus)

total_perspective_vortex

Visualize Sloan Digital Sky Survey data on galaxies using WebGL

upsert

Make it easy to upsert using MySQL's ON DUPLICATE KEY UPDATE, PostgreSQL's CREATE FUNCTION merge_db, and SQLite's INSERT OR IGNORE

useragent

HTTP User Agent parser

verifast

Research prototype tool for modular formal verification of C and Java programs