svanderbleek
Follow
Stars
algprobsolving / textbooks
Forked from mathigon/textbooksSource code of Mathigon's interactive textbooks
tp-freeforall / prod
Forked from tinyprod/prodTinyOS (less academic, more industrial, rD, less filling), still a floor wax
koko-m / GoI-Visualiser
Forked from cwtsteven/GoI-VisualiserA tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.
CakeML / candle
Forked from jrh13/hol-lightThe Candle theorem prover (fork of the HOL Light sources)
mboehme / pythia
Forked from innovimax/afl-1Pythia (extends AFL with Predictions)
castoredc / queryBuilder
Forked from harveyl888/queryBuilderR htmlwidget for jQuery QueryBuilder filtering of data frames
HanStolpo / ghcmod-vim
Forked from eagletmt/ghcmod-vimHappy Haskell programming on Vim, powered by ghc-mod
adamjgrant / kickstart
Forked from twbs/bootstrapKickstart is a CSS library designed for modularity and fast page performance
jlongster / js-csp
Forked from js-csp/js-cspCSP channels for Javascript (like Clojurescript's core.async, or Go) THIS IS AN UPSTREAM FORK
OpenCubes / pagedown
Forked from ujifgc/pagedownMarkdown to HTML converter and editor (hg-git clone) with semantic-ui
An OpenStack Compute driver for Test Kitchen 1.0
Gives the ability to write specific CSS code for each operating system and each browser from the backend or through JS.
Gives the ability to write specific CSS code for each operating system and each browser from the backend or through JS.