Pinned Repositories
calico-ubuntu-vagrant-example
conway-numbers
An implementation of Conway's surreal numbers
feature-selection
A web app providing one-click analysis on a CSV.
lambda-calculus
A lambda calculus engine.
lambda-calculus-app
My lambda calculus engine available as a web app.
learn2prog
My plan to learn various skills in programming.
learning-curve
A question and answer site using video and screen-capture responses.
solomonoff-induction
Solomonoff induction, plain and simple.
whiteboard
A tool to remove redundancy and confusion from creating ActiveRecord models and associations.
alexaltair's Repositories
alexaltair/lambda-calculus
A lambda calculus engine.
alexaltair/conway-numbers
An implementation of Conway's surreal numbers
alexaltair/learn2prog
My plan to learn various skills in programming.
alexaltair/whiteboard
A tool to remove redundancy and confusion from creating ActiveRecord models and associations.
alexaltair/calico-ubuntu-vagrant-example
alexaltair/feature-selection
A web app providing one-click analysis on a CSV.
alexaltair/solomonoff-induction
Solomonoff induction, plain and simple.
alexaltair/alexaltair.github.io
My personal website
alexaltair/anki
Anki for desktop computers
alexaltair/calico
Project Calico core repository.
alexaltair/coding-challenges
alexaltair/delve
Delve is a debugger for the Go programming language.
alexaltair/english-gibberish
A program which generates words which could be English, but definitely aren't.
alexaltair/etcd
A highly-available key-value store for shared configuration and service discovery
alexaltair/eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
alexaltair/GNOMEodoro
A GNOME App Indicator to track my daily pomodoro count
alexaltair/hello-world
Hello world in every programming language. If I can't automatically merge your changes on github, I'm not merging them :)
alexaltair/k-complexity
alexaltair/kipp-report-card
alexaltair/learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
alexaltair/mouse-game
And old console ASCII game.
alexaltair/nupic
Numenta Platform for Intelligent Computing
alexaltair/practice-ml
Keeping track of my script scraps while learning.
alexaltair/ritualEngine
An engine for performing communal rituals online
alexaltair/rspec-expectations
Provides a readable API to express expected outcomes of a code example
alexaltair/spinningup
An educational resource to help anyone learn deep reinforcement learning.
alexaltair/studying-algorithms
Implementing the classics for personal mastery.
alexaltair/sublime-settings
The settings files I use for sublime.
alexaltair/surreal-number-tree-picture
Visualization of the surreal number tree.
alexaltair/tcs
For explanation, see: http://lesswrong.com/lw/iwa/replicating_douglas_lenats_traveller_tcs_win_with/