Stefan Wils's repositories
vscode-markdown-scripture
Allow your Markdown notes to track references and include quotes from verse-based documents such as the Bible.
total_perspective_vortex
Visualize Sloan Digital Sky Survey data on galaxies using WebGL
Bootstrap-3-Typeahead
The Typeahead plugin from Twitter's Bootstrap 2 ready to use with Bootstrap 3
ch2o-compcert
Soundness of CH2O with respect to CompCert C
coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
goedel-2005
Archived since the contents have been moved to the Hydras & Co. repository
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]
markdown-it-decorate
Add attributes, IDs and classes to Markdown
node-sword-interface
JavaScript (N-API) interface to SWORD library
ocamlearlybird
OCaml debug adapter
pegasus-novus-publish
Word trainer
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)
verifast-vscode
Visual Studio Code extension for running VeriFast
vscode-ocaml-debugger
OCaml debugger for VS Code
vscoq-language-server
Language server for Coq