Constructor University Bremen, Semantics of Programming Languages Course Repository

CUB PL in SD Project

summer practice

A tacit array programming language

A markup-based typesetting system that is powerful and easy to learn.

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

A better and stronger spiritual successor to BZip2.

Atmosphere and planet rendering playground.

A garden of small programming language implementations 🪴

Minimal implementations for dependent type checking and elaboration

Awesome Typst Links

A package for creating slides in Typst

Java decompiler, assembler, and disassembler

A curated list of awesome loosely performance related JVM stuff. Inspired by awesome-python.

Repo for PLAN's verified code generation project

Verifying Kotlin Code with Viper by Controlling Aliasing

IntelliJ plug-in to visualize the Frontend Intermediate Representation (FIR tree) of a piece of Kotlin code

A repository of helpful sources to figure out what the Kotlin compiler really is

A curated list of awesome Kotlin related stuff Inspired by awesome-java.

The CompCert formally-verified C compiler

A Spotify player in the terminal with full feature parity

Visual Studio Code extension for Coq

⭐ Vim for Visual Studio Code

Fast lojban dictionary https://foldr.moe/lidysisku/

Formalization of C++ for verification purposes.