Discover @proglang Open Source projects

Programming Languages Uni Freiburg (@proglang)

proglang

Stars
42
Global Rank 378,223 (Top 14 %)
Followers 23
Registered over 9 years ago
Most used languages

TypeScript
28.6 %

TeX
21.4 %

JavaScript
14.3 %

Haskell
7.1 %

Shell
7.1 %

OCaml
7.1 %

Java
7.1 %

Agda 7.1 %
Location 🇩🇪 Germany
Country Total Rank 17,062
Country Ranking

Agda 25

OCaml
79

Haskell
143

TeX
245

TypeScript
3,707

Shell
8,340

FunctionalProgramming

Support repository for the functional programming lecture (Haskell)

ldgv

Label dependent dependent session types

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