jvanbruegge/isabelle-lambda-calculus jvanbruegge/isabelle-lambda-calculus

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language Isabelle
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jvanbruegge/isabelle-lambda-calculus
github

jvanbruegge

Reviews

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

Repository Details

A formal definition and verification of System F. To be extended to System Fc

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

AdvancedDispensersMod

My first Mod
Java
9
star
11

adcs_plot

A real time data viz app
TypeScript
7
star
12

articles

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

cyclejs-test-helpers

A small collection of useful utilities
TypeScript
5
star
14

dotfiles-old

My personal config
Shell
5
star
15

sketch-preview

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

tree-selector

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

Play2-Angular2-Template

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

GUI-Technologies-for-web-applications

The source and slides for our Seminar 2018
4
star
19

binder_datatypes

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

d3-axis-hyperscript

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

advent-of-code-2018

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

munichjs-signals_vs_streams

My talk about Signals vs Streams
Shell
3
star
23

kubernetes-config-v2

My new kubernetes setup with dhall
Dhall
2
star
24

kubernetes-config

My new server setup V2
Shell
2
star
25

docker-letsencrypt

Shell
2
star
26

TechMod

Java
2
star
27

zero-to-webserver-haskell

Haskell
2
star
28

Building-a-stream-library-from-scratch

TypeScript
2
star
29

AdvancedDispensersMod2.0

The new Version of my first Mod
Java
2
star
30

pack.hs

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

BetterCharacterController

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

munichjs-promises

Shell
1
star
33

rust-raytracer-assignment

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

lambda-derive

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

AnnoModdingTool

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

c-fun

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

liquidhaskell-amortized-complexity

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