zeyonaut/semantics-agda zeyonaut/semantics-agda

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Agda
  • License
    MIT License
  • Created almost 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zeyonaut/semantics-agda
github

zeyonaut

Reviews

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

Repository Details

Operational semantics proofs, translated from the notes of the 2022-2023 Semantics of Programming Languages course at Cambridge.

More Repositories

1

isogon

An experimental dependently-typed programming language for performance-critical software.
Rust
3
star
2

chernobot

Singapore American School (SAS) MATE robotics codebase [2017-2019]
C++
1
star
3

tetragon

A compiler for a toy functional language, featuring LALR(1) parsing, closure conversion, CPS conversion, and assembly generation.
Rust
1
star
4

hott-study

Personal notes on homotopy type theory
Agda
1
star
5

pcf-lean

Denotational semantics with Ο‰-CPOs for PCF, translated from the 2023-24 course at Cambridge.
Lean
1
star
6

inksy

An infinite scratchpad for effortless chirography.
Rust
1
star