Pinned Repositories
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.
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
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
vscode-markdown-scripture
Allow your Markdown notes to track references and include quotes from verse-based documents such as the Bible.
swils's Repositories
swils/vscode-markdown-scripture
Allow your Markdown notes to track references and include quotes from verse-based documents such as the Bible.
swils/total_perspective_vortex
Visualize Sloan Digital Sky Survey data on galaxies using WebGL
swils/abrenuntio
swils/Bootstrap-3-Typeahead
The Typeahead plugin from Twitter's Bootstrap 2 ready to use with Bootstrap 3
swils/ch2o
swils/ch2o-compcert
Soundness of CH2O with respect to CompCert C
swils/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.
swils/coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
swils/coq-tutorial
swils/demo
swils/goedel-2005
Archived since the contents have been moved to the Hydras & Co. repository
swils/heroku-buildpack-python
Python buildpack
swils/hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
swils/ijdemo
swils/joint
JavaScript diagramming library
swils/lean
Lean Theorem Prover
swils/markdown-it-decorate
Add attributes, IDs and classes to Markdown
swils/node-sword-interface
JavaScript (N-API) interface to SWORD library
swils/ocamlearlybird
OCaml debug adapter
swils/pegasus-novus-publish
Word trainer
swils/react-autocomplete
WAI-ARIA compliant React autocomplete (combobox) component
swils/requirejs-rails
RequireJS support for your Rails 3 or 4 application
swils/rubypython
A github clone of the rubypython sources. The canonical source is on Bitbucket, but changes will be mirrored between these repositories.
swils/syro-malabar-divine-office
Divine Office of the Syro-Malabar Church (translated by Fr. Robert Matheus)
swils/verifast
Research prototype tool for modular formal verification of C and Java programs
swils/verifast-vscode
Visual Studio Code extension for running VeriFast
swils/vscode-ocaml-debugger
OCaml debugger for VS Code
swils/vscode-settings
swils/vscoq
A Visual Studio Code extension for Coq [maintainer=@maximedenes]
swils/vscoq-language-server
Language server for Coq