jstolarek/slicer jstolarek/slicer

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created almost 8 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jstolarek/slicer
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 "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK

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

dep-typed-wbl-heaps-hs

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

hashlink-launcher

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

lattice-structure-hs

Lattice structure in Haskell
Haskell
4
star
8

skye-dsh

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
Haskell
3
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