Repositories list

• promo

  Public
  TeX

  •0•0•0•0•Updated Apr 19, 2023Apr 19, 2023

• website

  Public
  Website

  Nunjucks

  •0•0•0•0•Updated Jan 7, 2023Jan 7, 2023

• cpython

  Public
  The Python programming language

  Python

  •

  Other

  •30k•0•0•0•Updated Nov 3, 2022Nov 3, 2022

• lc-tut

  Public
  WIP hands-on lambda calculus tutorial

  Python

  •0•0•0•0•Updated Mar 23, 2022Mar 23, 2022

• hack-a-lang

  Public
  Python

  •2•2•0•1•Updated Mar 12, 2022Mar 12, 2022

• wiki

  Public
  Wiki

  JavaScript

  •0•0•0•0•Updated Feb 9, 2022Feb 9, 2022

• coc-proposal

  Public
  Proposal to register as a College of Computing club

  TeX

  •1•0•0•0•Updated Nov 17, 2021Nov 17, 2021

• web-components

  Public
  TypeScript

  •

  MIT License

  •0•0•0•0•Updated Aug 20, 2021Aug 20, 2021

• members

  Public archive
  Members of dependently-typed

  0•0•0•0•Updated Aug 19, 2021Aug 19, 2021