Tombert/DependentTypesPresentation

Stars
1
Language
TeX
Created over 8 years ago
Updated over 8 years ago

Tombert/DependentTypesPresentation

Tombert

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

CsParse

A simple CSS parser to convert CSS into JavaScript objects.

frameworkey

A framework built around KoaJS

yil

YilJS - A library to convert callback'd functions into synchronous yields

StockScrape

An app to go and grab all the stock prices and spit back a comma-separated list of all this info

frameworkeyPromiseEdition

Tomberts-Game-of-Life

An implementation of Conway's Game of Life in Scala

imagething

This is an image upload site.

VimTalk

Slides for a talk I gave about Vim.

Frameworkey-Erlang

A port of my "Frameworkey" framework in Erlang. Cuz Erlang is cool.

fetchkeys

A basic script, written in Haskell, to grab SSH keys from Github.

Passwords

tombert.github.io2

Mandelbrot-Notes

TLATalk

CASOTMM

password_generator_2

A rewrite of an old project to better understand the conduit library

Parallel-Fizzbuzz

For when an employer decides he/she is going to "test" my programming skills.

CASOT

A computer algebra system, written in Scala, by Thomas Gebert

dotfiles

This is my configuration

scudlib

A clojure implementation of the Paillier Homomorphic encryption library

HGOL

An implementation of Conway's Game of Life in Haskell.

FSharp.Csv

Reflection-based CSV deserializer

HaskellParallelFizzbuzz

To play with the parallel abilities of Haskell, here's a basic fizzbuzz test implemented (mostly) parallel.