larrytheliquid/abstract-theory

Stars
1
Language
Created over 12 years ago
Updated about 12 years ago

larrytheliquid/abstract-theory

larrytheliquid

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

I think this was code i played with while preparing for the galois tech talk i gave

Lemmachine

REST'ful web framework in Agda

dataflow

Dataflow concurrency for Ruby (inspired by the Oz language)

dtgp

Dependently Typed Genetic Programming

cry

A CommonLisp CLOS-like parse tree library for Ruby... read (and write) it and weep.

revolve

Flexible Ruby stack-based Genetic Programming

leveling-up

Source code accompanying the paper "Leveling Up Dependent Types"

buzzer

Creating a buzzword detector: A Git-powered Clojure tutorial (Gitorial)

specjure

Behaviour Driven Development framework for Clojure

neurosis

Ruby Sinatra REST frontent to simple Haskell MLP Neural Network (AKA Hubris Haskell->Ruby bridge demo)

generic-elim

Source code accompanying the paper "Generic Constructors and Eliminators from Descriptions"

linear-temporal-logic

sandbox for playing with linear temporal logic

spire

The Spire Programming Language

generic-reuse

Source code accompanying the draft paper "Generic Zero-Cost Reuse for Dependent Types"

uAgda

[UNOFFICIAL FORK] Making uAgda work with ghc 7.4.1

pigit

seeing what Epigram looks like after a darcs-fastconvert (NOT AN OFFICIAL MIRROR)

zero-cost-coercions

Source code accompanying the draft paper "Zero-Cost Coercions for Program and Proof Reuse"

mltt-lecture

plclub-expless

PL Club talk on Expressionless Weak-Head Normal Forms

idbein-ruby

pigeons-blood

Ruby methods that can be used in place of language keywords.

paralyze

Various way to run RSpec in parallel and Paralyze computers running it.

agda-rb

scotrubyconf

[presentation] Dependent Types: A Look At The Other Side

thesis

gp

Genetic Programming in Clojure

clspec

Behaviour Driven Development framework for Common Lisp

sbe

Accompanying source code for technical report "Hereditary Substitution by Canonical Evaluation (SbE)".

carroll

Toy implementation of the declarative Oz kernel language

expless

Adaptation of Ch. 4 of James Chapman's thesis to Values and Hereditary Substitution (note to self: currently missing some theorems still on laptop)

buffer-overflows

plclub-oct-2012

Code for a PL Club I gave at PSU on October 26, 2012

plclub-apr-2013

Code for a PL Club I gave at PSU on April 19, 2013.

dtp10

presentation i gave at a dependent types workshop when i was more naive than now

methodical

"Think before you call methods"

random-bug-walk

Random Bug Walk assignment for UCF - CET 4523 - Applied System Analysis II