jvanbruegge/liquidhaskell-amortized-complexity jvanbruegge/liquidhaskell-amortized-complexity

  • Stars
    star
    1
  • Language
    TeX
  • Created over 3 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jvanbruegge/liquidhaskell-amortized-complexity
github

jvanbruegge

Reviews

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

Repository Details

My WIP paper about using LiquidHaskell to prove amortized complexity of data structures

More Repositories

1

minireq

A minimal request library for the browser
TypeScript
45
star
2

commithelper

A tool to create and lint commit messages
TypeScript
35
star
3

Megarecord

My experiment about implementing Row Polymorphism in current Haskell
Haskell
16
star
4

dhall-openssl

Generate a type-safe openssl configuration file with dhall
Dhall
13
star
5

server-config

The config of all the servers I manage
Nix
13
star
6

snabbdom-looks-like

Makes it easy to assert if two virtual DOM trees look similar
TypeScript
12
star
7

dotfiles

My new dotfiles for SwayWM on Arch Linux
Shell
12
star
8

nix-config

The NixOS configuration of my laptop
Shell
11
star
9

media-goggler

A media server written in Haskell and Cycle.js
Haskell
11
star
10

isabelle-lambda-calculus

A formal definition and verification of System F. To be extended to System Fc
Isabelle
10
star
11

AdvancedDispensersMod

My first Mod
Java
9
star
12

adcs_plot

A real time data viz app
TypeScript
7
star
13

articles

My collection of blog articles written for serveral sites, most likely the source for my own blog soon(TM)
6
star
14

cyclejs-test-helpers

A small collection of useful utilities
TypeScript
5
star
15

dotfiles-old

My personal config
Shell
5
star
16

sketch-preview

A browser extension to view sketch files in github
TypeScript
5
star
17

tree-selector

Use CSS selectors to match nodes in a custom object tree
TypeScript
4
star
18

Play2-Angular2-Template

A starting template for Play Framework 2 and Angular2
JavaScript
4
star
19

GUI-Technologies-for-web-applications

The source and slides for our Seminar 2018
4
star
20

binder_datatypes

A new foundational package for Isabelle/HOL that implements binding-aware datatypes
Isabelle
3
star
21

d3-axis-hyperscript

Generate human-readable axis for a given scale
TypeScript
3
star
22

advent-of-code-2018

Doing advent-of-code in Haskell
Haskell
3
star
23

munichjs-signals_vs_streams

My talk about Signals vs Streams
Shell
3
star
24

kubernetes-config-v2

My new kubernetes setup with dhall
Dhall
2
star
25

kubernetes-config

My new server setup V2
Shell
2
star
26

docker-letsencrypt

Shell
2
star
27

TechMod

Java
2
star
28

zero-to-webserver-haskell

Haskell
2
star
29

Building-a-stream-library-from-scratch

TypeScript
2
star
30

AdvancedDispensersMod2.0

The new Version of my first Mod
Java
2
star
31

pack.hs

A Typescript transpiler and bundler written in Haskell
Haskell
1
star
32

BetterCharacterController

A character controller for the Unity engine
C#
1
star
33

munichjs-promises

Shell
1
star
34

rust-raytracer-assignment

This will be a raytracer written with Rust and Vulkan
Rust
1
star
35

lambda-derive

A telegram bot that runs on AWS lambda that can calculate the derivative of an expression
Haskell
1
star
36

AnnoModdingTool

A tool to read Anno 2070 Model files, hopefully more later
C++
1
star
37

c-fun

A immutuable-first language compiling to C++
C++
1
star