jstolarek/skye-dsh jstolarek/skye-dsh

  • Stars
    star
    3
  • Rank 3,946,010 (Top 78 %)
  • Language
    Haskell
  • Created almost 8 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jstolarek/skye-dsh
github

jstolarek

Reviews

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

Repository Details

Companion code for paper "Language-integrated Provenance in Haskell", Jan Stolarek and James Cheney, The Art, Science, and Engineering of Programming, 2018, Vol. 2, Issue 3, Article 11

More Repositories

1

why-dependent-types-matter

Companion code for "Why Dependent Types Matter" paper.
Agda
60
star
2

haskell-testing-stub

Stub project showing how to organize tests and benchmarks in Haskell
Haskell
26
star
3

dc-card-maker-script

Dreamcast GDMenu maker script for Linux
Python
18
star
4

dep-typed-wbl-heaps

Verifying weight biased leftist heaps using dependent types in Agda
TeX
6
star
5

slicer

Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
Haskell
6
star
6

dep-typed-wbl-heaps-hs

Weight-biased Leftist Heaps verified in Haskell using dependent types
Haskell
5
star
7

hashlink-launcher

Launch hashlink bytecode programs with an .exe file
C#
4
star
8

lattice-structure-hs

Lattice structure in Haskell
Haskell
4
star
9

pso-calc

Phantasy Star Online Section ID Calculator
C
2
star
10

sekcjaPF

Sekcja Programowania Funkcyjnego studenckiego koła naukowego KINo
Haskell
1
star
11

practical-programming-with-dependent-types

Companion code in Agda for "Epigram: practical Programming with Dependent Types" paper.
Agda
1
star
12

tasty-program

Run tasty tests that check whether a program executes correctly
Haskell
1
star