Jeremy G. Siek (@jsiek)
github

jsiek

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    377
  • Global Rank 73,847 (Top 3 %)
  • Followers 296
  • Registered over 11 years ago
  • Most used languages
    TeX
         36.4 %
    Agda     27.3 %
    Python
         18.2 %
    OCaml
         9.1 %
    C++
         9.1 %
  • Location 🇺🇸 United States
  • Country Total Rank 20,466
  • Country Ranking
    Agda     3
    TeX
         158
    OCaml
         372
    C++
         6,008

Top repositories

1

B629-denotational

Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
TeX
72
star
2

abstract-binding-trees

Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
Agda
69
star
3

deduce

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
Python
56
star
4

gradual-typing-in-agda

Formalizations of Gradually Typed Languages in Agda
TeX
54
star
5

B522-PL-Foundations

Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
Agda
53
star
6

featherweight-C

Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
C++
26
star
7

denotational_semantics

Denotational semantics based on graph and filter models
Agda
17
star
8

arete

Arete is an experimental programming language.
TeX
12
star
9

al

Al: a language for teaching algorithms and data structures
OCaml
6
star
10

step-indexed-logic

A modal logic for reasoning about step-indexed logical relations
TeX
6
star
11

B505-algorithms-public

Public material for the course B505 Applies Algorithms at Indiana University
5
star
12

prototypes-in-python

Prototypes of programming languages written in Python.
Python
3
star
13

agda-stdlib-doc

1
star