-
-
-
theoremviz Public
Forked from rkirsling/modallogicModal Logic Playground
JavaScript MIT License UpdatedNov 9, 2015 -
from3004.github.io Public
Forked from barryclark/jekyll-nowBuild a Jekyll blog in minutes, without touching the command line.
CSS MIT License UpdatedOct 23, 2015 -
spacemacs Public
Forked from syl20bnr/spacemacsEmacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Emacs Lisp UpdatedSep 20, 2015 -
toy-programs Public
A repo of toy programs that I have written; mostly for personal learning reasons.
Python UpdatedMay 16, 2015 -
Toy models for exploring different aspects of AI safety
Python UpdatedMar 29, 2015 -
flask Public
Forked from pallets/flaskA microframework based on Werkzeug, Jinja2 and good intentions
Python Other UpdatedMar 5, 2015 -
slateConfig Public
Forked from abbood/slateConfigthis is slate config file. See https://github.com/jigish/slate
UpdatedDec 25, 2014 -
HackFlowy Public
Forked from abhshkdz/HackFlowyWorkflowy clone, built using Backbone.js & Socket.io
CSS UpdatedDec 18, 2014 -
AnkiEmperor Public
Anki plugin to gamify reviews. Originally by Dominic Lerbs.
-
Botworld Public
Forked from machine-intelligence/BotworldA cellular automaton for studying self-modifying agents which are embedded in their environment
Haskell Other UpdatedJun 16, 2014 -
-
quietnet Public
Forked from Katee/quietnetSimple chat program using inaudible sounds and a computer's microphone and speaker.
Python MIT License UpdatedJan 31, 2014 -
APUtils Public
Forked from andrei512/APUtilsCollection of helpful categories for base obj-c classes
Objective-C MIT License UpdatedJan 11, 2014 -
-
transparent-dilemma Public
Forked from darius/transparent-dilemmaThe Prisoner's Dilemma for agents that see each other's source code.
Scheme UpdatedJun 8, 2013
{{ message }}