-
Godels-Incompleteness-Theorems Public
Forked from Evoniuk/Godels-Incompleteness-TheoremsA detailed explanation of one of the most important results in the history of math.
HTML UpdatedMar 1, 2024 -
Seeing-Theory Public
Forked from seeingtheory/Seeing-TheoryA visual introduction to probability and statistics.
HTML Apache License 2.0 UpdatedApr 2, 2023 -
3-lisp Public
Forked from nikitadanilov/3-lisp3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
Common Lisp UpdatedOct 5, 2022 -
beakerbrowser.com Public
Forked from beakerbrowser/beakerbrowser.comSource code for https://beakerbrowser.com
CSS UpdatedDec 19, 2018 -
3Lisp.Ruby Public
Forked from groupofn/3Lisp.RubyExperimental 3Lisp interpreter written in Ruby.
Ruby UpdatedDec 17, 2017 -
-
APEXCalculus_Source Public
Forked from APEXCalculus/APEXCalculus_SourceSource files for the APEX Calculus text
TeX UpdatedOct 18, 2016 -
wiki-website Public
Forked from typora/support.typora.ioSupport site for Markdown Editor Typora
HTML UpdatedOct 10, 2016 -
-
TiddlyWiki5 Public
Forked from TiddlyWiki/TiddlyWiki5A reboot of TiddlyWiki for the next 25 years
HTML UpdatedApr 9, 2015 -
ldoce5viewer Public
Forked from ciscorn/ldoce5viewerFast dictionary viewer for the Longman Dictionary of Contemporary English (LDOCE) 5th Edition.
-
DS-PhPL Public
Discussion Seminar: Philosophy of Programming Lanugages
-
-
hygienic-transformations Public
Forked from seba--/hygienic-transformationsHygienic Transformations
Java UpdatedMar 25, 2014 -
-
-
-
rascal Public
Forked from usethesource/rascalThe core interpreter of the Rascal meta-programming language
Java UpdatedOct 15, 2013 -
AoPL Public
Forked from w7cook/AoPLA book on programming languages, using Haskell
Haskell UpdatedApr 1, 2013 -
pandoc Public
Forked from jgm/pandocUniversal markup converter
Haskell GNU General Public License v2.0 UpdatedMar 31, 2013 -
-
pts Public
Forked from Toxaris/ptsA Haskell implementation of the Pure Type System
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 18, 2013 -
Hypercube Public
A Haskell implementation of cumulative Universal Type Theory with a single binder
-
-
{{ message }}