alexaltair Goto Github PK

ai-field-survey

alexaltair.github.io

My personal website

anki

Anki for desktop computers

calico

Project Calico core repository.

calico-ubuntu-vagrant-example

coding-challenges

conway-numbers

An implementation of Conway's surreal numbers

delve

Delve is a debugger for the Go programming language.

english-gibberish

A program which generates words which could be English, but definitely aren't.

etcd

A highly-available key-value store for shared configuration and service discovery

eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

feature-selection

A web app providing one-click analysis on a CSV.

gnomeodoro

A GNOME App Indicator to track my daily pomodoro count

hello-world

Hello world in every programming language. If I can't automatically merge your changes on github, I'm not merging them :)

k-complexity

kipp-report-card

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.

learnxinyminutes-docs

Code documentation written as code! How novel and totally my idea!

mouse-game

And old console ASCII game.

nupic

Numenta Platform for Intelligent Computing

practice-ml

Keeping track of my script scraps while learning.

rails

Ruby on Rails

ritualengine

An engine for performing communal rituals online

rspec-expectations

Provides a readable API to express expected outcomes of a code example

sinatra_demo

Simple Sinatra app demos working with the OMDB API.

solomonoff-induction

Solomonoff induction, plain and simple.

spinningup

An educational resource to help anyone learn deep reinforcement learning.