-
nbloomf.github.io Public
Generated by nbloomf.md
HTML GNU General Public License v3.0 UpdatedDec 10, 2018 -
nbloomf.md Public
Source of nbloomf.github.io
Haskell GNU General Public License v3.0 UpdatedDec 10, 2018 -
-
-
gidti Public
Forked from bor0/gidtiBook: Gentle Introduction to Dependent Types with Idris
UpdatedSep 24, 2018 -
-
webdriver Public
Forked from w3c/webdriverRemote control interface that enables introspection and control of user agents.
HTML Other UpdatedMay 6, 2018 -
hakyll-shortcode Public
WordPress-style shortcodes for Hakyll sites.
-
-
-
-
jetpack Public
Forked from Automattic/jetpackIncrease your traffic, view your stats, speed up your site, and protect yourself from hackers with Jetpack.
PHP GNU General Public License v2.0 UpdatedMar 5, 2017 -
-
-
work.scripts Public
Shell scripts for my common tasks
Shell GNU General Public License v3.0 UpdatedJan 25, 2017 -
kreb-scout Public
Problem template library
Makefile GNU General Public License v3.0 UpdatedJan 7, 2017 -
st-haskell Public
Software Tools in Haskell
-
feivel Public
A simple templating language for math teachers
Haskell GNU General Public License v3.0 UpdatedJan 6, 2017 -
carl Public
Library of basic algebraic data structures and algorithms
Haskell GNU General Public License v3.0 UpdatedJan 2, 2017 -
-
-
-
yentl Public
a synthetic geometry DSL in Haskell
Haskell GNU General Public License v3.0 UpdatedAug 28, 2016 -
tex-examples Public
a collection of tutorials and examples for tex and friends
TeX GNU General Public License v3.0 UpdatedAug 26, 2016 -
haskify Public
Haskell client library for the Shopify REST API
Haskell GNU General Public License v3.0 UpdatedAug 8, 2016 -
ximeraLatex Public
Forked from XimeraProject/ximeraLatexAuthor tools for creating Ximera activities
TeX GNU General Public License v2.0 UpdatedJul 27, 2016 -
coal Public
College Algebra Activities
TeX GNU Lesser General Public License v3.0 UpdatedJul 27, 2016 -
xake Public
Forked from XimeraProject/xake-nodeA build system for Ximera
JavaScript Other UpdatedJul 26, 2016 -
munge Public
A collection of tiny text filters
Haskell GNU General Public License v3.0 UpdatedJun 21, 2016 -
formulae Public
Forked from pkamenarsky/formulaeMirror of ftp://ftp.cs.uni-sb.de/formulae - "A Functional Description of TeX's Formula Layout"
Standard ML UpdatedOct 15, 2015
{{ message }}