Repositories list

• oopsla-2025-artifact-axcut

  Public
  Idris

  •0•0•0•0•Updated Jan 20, 2025Jan 20, 2025

• thesis-template

  Public template
  Template for bachelor and master theses.

  TeX

  •4•1•0•0•Updated Jan 16, 2025Jan 16, 2025

• effect-handlers-bench

  Public
  Benchmark repository of polyglot effect handler examples

  Haskell

  •

  MIT License

  •11•0•0•1•Updated Dec 6, 2024Dec 6, 2024

• koka

  Public
  Koka language compiler and interpreter

  Haskell

  •

  Other

  •169•0•0•0•Updated Jul 26, 2024Jul 26, 2024

• mini-jvm

  Public
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.

  Java

  •1•55•0•0•Updated Jul 18, 2024Jul 18, 2024

• info2-demos

  Public
  Live coding examples of the info 2 lecture

  Java

  •0•7•0•0•Updated Jul 13, 2024Jul 13, 2024

• shonan-203-website

  Public
  HTML

  •0•0•0•0•Updated Oct 27, 2023Oct 27, 2023

• questionnaire

  Public
  A drop-in single file javascript tool for creating your own interactive questionnaires.

  htmltypescriptjs+ 6racketinteractiveteachingquizscribblequestionnaire

  JavaScript

  •

  MIT License

  •0•4•0•0•Updated Jul 6, 2023Jul 6, 2023

• bsl-tools

  Public
  A single file drop-in javascript tool for exploring and teaching reduction semantics and abstract syntax trees in the Racket Beginning Student Language.

  typescriptjsracket+ 4teachingscribbleabstract-syntax-treereduction-semantics

  TypeScript

  •

  MIT License

  •0•5•0•0•Updated Mar 1, 2023Mar 1, 2023

• demo-repo

  Public
  Demo repository to show case git and github

  MIT License

  •0•0•7•0•Updated May 4, 2022May 4, 2022

• teamprojekt-vorlage

  Public template
  0•3•1•0•Updated Mar 28, 2022Mar 28, 2022

• oopsla-2022-artifact

  Public
  HTML

  •0•6•0•0•Updated Mar 21, 2022Mar 21, 2022