larrytheliquid/agda-rb larrytheliquid/agda-rb

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • License
    Other
  • Created over 13 years ago
  • Updated over 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
larrytheliquid/agda-rb
github

larrytheliquid

Reviews

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

Repository Details

More Repositories

1

Lemmachine

REST'ful web framework in Agda
Haskell
126
star
2

dataflow

Dataflow concurrency for Ruby (inspired by the Oz language)
Ruby
124
star
3

dtgp

Dependently Typed Genetic Programming
22
star
4

cry

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

revolve

Flexible Ruby stack-based Genetic Programming
Ruby
19
star
6

leveling-up

Source code accompanying the paper "Leveling Up Dependent Types"
18
star
7

buzzer

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

specjure

Behaviour Driven Development framework for Clojure
Clojure
15
star
9

neurosis

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

generic-elim

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

linear-temporal-logic

sandbox for playing with linear temporal logic
Agda
8
star
12

spire

The Spire Programming Language
Haskell
7
star
13

generic-reuse

Source code accompanying the draft paper "Generic Zero-Cost Reuse for Dependent Types"
TeX
6
star
14

uAgda

[UNOFFICIAL FORK] Making uAgda work with ghc 7.4.1
Haskell
5
star
15

pigit

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

zero-cost-coercions

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

mltt-lecture

TeX
3
star
18

plclub-expless

PL Club talk on Expressionless Weak-Head Normal Forms
Agda
3
star
19

idbein-ruby

JavaScript
3
star
20

pigeons-blood

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

paralyze

Various way to run RSpec in parallel and Paralyze computers running it.
Ruby
3
star
22

scotrubyconf

[presentation] Dependent Types: A Look At The Other Side
Ruby
2
star
23

thesis

Agda
2
star
24

gp

Genetic Programming in Clojure
Clojure
2
star
25

clspec

Behaviour Driven Development framework for Common Lisp
Common Lisp
2
star
26

sbe

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

carroll

Toy implementation of the declarative Oz kernel language
Ruby
1
star
28

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)
TeX
1
star
29

buffer-overflows

JavaScript
1
star
30

plclub-oct-2012

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

plclub-apr-2013

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

dtp10

presentation i gave at a dependent types workshop when i was more naive than now
Ruby
1
star
33

methodical

"Think before you call methods"
Ruby
1
star
34

random-bug-walk

Random Bug Walk assignment for UCF - CET 4523 - Applied System Analysis II
Ruby
1
star
35

abstract-theory

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