Folien und Skript zur Vorlesung "Programmiersprachen und Übersetzer"
☆13Jan 26, 2024Updated 2 years ago
Alternatives and similar repositories for vorlesung-psu
Users that are interested in vorlesung-psu are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11May 31, 2025Updated last year
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- ☆10Aug 2, 2016Updated 9 years ago
- Template for a (PhD) thesis☆12Nov 5, 2025Updated 8 months ago
- ☆16Mar 14, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 5 years ago
- Minibatch loading for on-disk anndata files, co-developed by Lamin Labs and scverse☆67Updated this week
- Verifying the optimization phases of the GraalVM compiler☆15Jul 1, 2026Updated last week
- API for generating wallet passes from EU COVID-19 Vaccination Certificates☆12Jun 28, 2021Updated 5 years ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Sep 25, 2023Updated 2 years ago
- [NeurIPS 2024 Spotlight] A cell-ontology guided transcriptome foundation model☆25Mar 12, 2025Updated last year
- Tkinter Rapid Application Development (RAD) library - Tkinter XML widget building☆10Oct 1, 2020Updated 5 years ago
- PhipsBoot is a relocatable x86_64 bootloader for legacy boot written in Rust and assembly.☆15Mar 2, 2025Updated last year
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Jul 26, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Multi-stain graph self attention multiple instance learning for histopathology Whole Slide Images - BMVC 2023☆14Feb 20, 2025Updated last year
- ☆44Apr 8, 2025Updated last year
- A proof-of-concept for SVG-based unobtrusive highlighting on web pages.☆11Nov 12, 2022Updated 3 years ago
- A beautifully crafted, accessible theme for Logseq inspired by Steph Ango's Flexoki color scheme. Enhanced with professional design syste…☆18May 8, 2026Updated 2 months ago
- Implementation of Diffusion Transformers and Rectified Flow in Jax☆27Jul 9, 2024Updated 2 years ago
- Syntax highlighting file for vim or neovim for Arma's SQF script syntax☆10Oct 10, 2021Updated 4 years ago
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆38Jun 14, 2026Updated 3 weeks ago
- An implementation of ESM2 in Equinox+JAX☆35Apr 20, 2026Updated 2 months ago
- A sample TypeScript app that parses a grammar with ANTLR4.☆12Apr 21, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Converter for Arma 3's PAA format that works 100% in the browser.☆13Jan 25, 2026Updated 5 months ago
- Invariant Representation learning☆20Jun 26, 2024Updated 2 years ago
- A verified compiler for a lazy functional language☆41Jun 30, 2026Updated last week
- Dockerfile with Vivado for CI☆27Apr 17, 2020Updated 6 years ago
- ☆41Updated this week
- This repo contains allows you to quickly and easily create a Virtual Machine with a working Pebble SDK install using Vagrant and Virtualb…☆14Oct 1, 2025Updated 9 months ago
- Advanced Workshop Map Loader and Game Type Adjuster☆10Sep 7, 2021Updated 4 years ago
- ☆14Nov 4, 2025Updated 8 months ago
- The only winning move is not to play☆14Aug 3, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- pomodoro daemon (archived, use morgant/pomod fork)☆19Aug 7, 2025Updated 11 months ago
- Registry for scverse ecosystem packages☆37Jun 30, 2026Updated last week
- Reference compiler for c0☆42Apr 7, 2026Updated 3 months ago
- dsk lib in Golang☆12May 29, 2026Updated last month
- ⚙️ An Arma 3 Mod Manager Console for Linux & MacOS. Easily enable, disable, and manage Steam Workshop mods and CDLCs without the official…☆22Feb 18, 2026Updated 4 months ago
- Diffusion model for gene regulatory network inference.☆30Mar 20, 2026Updated 3 months ago
- Restic implementation in Python☆16Sep 3, 2024Updated last year