larrytheliquid/linear-temporal-logic larrytheliquid/linear-temporal-logic

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language Agda
  • Created about 13 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
larrytheliquid/linear-temporal-logic
github

larrytheliquid

Reviews

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

Repository Details

sandbox for playing with linear temporal logic

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

spire

The Spire Programming Language
Haskell
7
star
12

generic-reuse

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

uAgda

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

pigit

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

zero-cost-coercions

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

mltt-lecture

TeX
3
star
17

plclub-expless

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

idbein-ruby

JavaScript
3
star
19

pigeons-blood

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

paralyze

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

agda-rb

Haskell
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