anka-213 Goto Github PK

.ooo.

.files configuration

.spacemacs.d

My spacemacs config

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

advent-2020

My Haskell solutions to Advent of Code 2020

advent-of-code-2017

My solutions to the Advent Of Code problems for 2017

advent2021

advent_of_code_2017

Contribute your solutions to Advent of Code 2017 and be inspired by others.

agda-stdlib

The Agda standard library

agda-unimath

Univalent mathematics in Agda

ai-programmer

Using artificial intelligence and genetic algorithms to automatically write a program, in the BrainF programming language. The resulting program prints a target phrase to the console. Read the tutorial at http://primaryobjects.com/CMS/Article149.aspx

alligatoreggs

Yet another animation of Bret Victor's "Alligator Eggs!"

angular-test

Playing around with angular JS

anka-213.github.com

anka-213.github.io

api-samples

Code samples for YouTube APIs, including the YouTube Data API, YouTube Analytics API, and YouTube Live Streaming API. The repo contains language-specific directories that contain the samples.

bashonwindows

Issues found within and using Bash on Ubuntu on Windows

beeminder-calendar

Generator for "fail days calendar" for Beeminer

between

Function combinator "between" and derived combinators.

cabal2nix4dev

A wrapper round cabal2nix for use when developing Haskell packages

cc-oreavoider

A mining script for ComputerCraft that avoids mining ores that would need silk touch or fortune

cclaw-nix-stuff

cfetool

CFE backup tool.

char-rnn

Multi-layer Recurrent Neural Networks (LSTM, GRU, RNN) for character-level language models in Torch

chrome-movetab

A chrome extension for moving tabs between windows with the keyboard

chrome-shorte.st-skipper

Chrome extension to skip the ads on shorte.st shortener

chromium

Chromium.org open source browser project, https://www.chromium.org/developers/how-tos/get-the-code

debundle

:card_file_box: A javascript debundler. Takes a Browserify or Webpack bundle and recreates the initial, pre-bundled source.

deepdream

dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

docopt

Pythonic command line arguments parser, that will make you smile