Discover @proglang Open Source projects

Programming Languages Uni Freiburg (@proglang)

proglang

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

TypeScript
28.6 %

TeX
21.4 %

JavaScript
14.3 %

Java
7.1 %

Shell
7.1 %

Agda 7.1 %

OCaml
7.1 %

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

Agda 23

OCaml
71

Haskell
142

TeX
245

TypeScript
3,468

Shell
8,616

Java
9,753

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