proglang/ldgv

Stars
15
Rank 1,342,729 (Top 27 %)
Language
Haskell
License
Other
Created almost 5 years ago
Updated 9 months ago

proglang/ldgv

proglang

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

Label dependent dependent session types

FunctionalProgramming

Support repository for the functional programming lecture (Haskell)

ts-declaration-file-generator

javatx

tezos-project

run-time-information-gathering

tezos-public

Public documents and releases of the Tezos project @ Uni Freiburg

dts-generate-method

ts-ast-utils

Utilities for TypeScript AST traversals

ts-declaration-file-generator-service

dts-generate-results

SystemF

ts-visitors

An exploration of typed visitors in TypeScript

incorrectness

Incorrectness type system

jgs