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:
- 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
- YetAnotherWandbClient☆13Mar 16, 2026Updated 3 months ago
- Perturbational analysis by causality-aware generative model for single-cell RNA-sequencing data☆23Dec 16, 2025Updated 6 months ago
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 5 years ago
- Perceiver (transformer variant) implemented in JAX and Flax☆13Mar 29, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Experiments to run single cell analyses efficiently at scale using Zarr, anndata, Scanpy, and Apache Spark☆15Mar 28, 2019Updated 7 years ago
- Reproduce analyses and baselines from the State paper☆15Feb 25, 2026Updated 3 months ago
- Formal semantics in Agda.☆17Jul 2, 2015Updated 10 years ago
- [NeurIPS 2024 Spotlight] A cell-ontology guided transcriptome foundation model☆25Mar 12, 2025Updated last year
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- The skeleton of the tex files used for writing my PhD thesis.☆16Oct 1, 2021Updated 4 years ago
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Multi-stain graph self attention multiple instance learning for histopathology Whole Slide Images - BMVC 2023☆14Feb 20, 2025Updated last year
- Logical Verification 2022-2023 course at VU Amsterdam☆19Jan 27, 2024Updated 2 years ago
- ☆45Jul 16, 2025Updated 11 months ago
- ☆44Apr 8, 2025Updated last year
- pytorch dataloaders for single-cell perturbation data☆45Apr 24, 2026Updated last month
- A DSL for the Automata Theory Classroom☆26Updated this week
- A proof-of-concept for SVG-based unobtrusive highlighting on web pages.☆11Nov 12, 2022Updated 3 years ago
- Solutions of the exercises of the HoTT book☆23Dec 15, 2016Updated 9 years ago
- A cross-compiling toolchain for the Amazon Kindle☆19Sep 6, 2014Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- xMIL: Insightful Explanations for Multiple Instance Learning in Histopathology☆34Apr 27, 2026Updated last month
- A beautifully crafted, accessible theme for Logseq inspired by Steph Ango's Flexoki color scheme. Enhanced with professional design syste…☆18May 8, 2026Updated last month
- ☆40Oct 31, 2025Updated 7 months 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☆37May 18, 2026Updated last month
- A sample TypeScript app that parses a grammar with ANTLR4.☆12Apr 21, 2017Updated 9 years ago
- Converter for Arma 3's PAA format that works 100% in the browser.☆13Jan 25, 2026Updated 4 months ago
- Invariant Representation learning☆20Jun 26, 2024Updated last year
- A verified compiler for a lazy functional language☆41Jun 12, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆39Jan 8, 2026Updated 5 months ago
- Advanced Workshop Map Loader and Game Type Adjuster☆10Sep 7, 2021Updated 4 years ago
- ☆14Nov 4, 2025Updated 7 months ago
- A simple boilerplate for using Selenium with Google Cloud functions.☆17Dec 11, 2022Updated 3 years ago
- Registry for scverse ecosystem packages☆37Jun 8, 2026Updated last week
- NetworkCommons is a community-driven platform designed to simplify access to tools and resources for inferring context-specific protein i…☆34Jul 23, 2025Updated 10 months ago
- pomodoro daemon (archived, use morgant/pomod fork)☆19Aug 7, 2025Updated 10 months ago