Material for the course on Programming Languages and Types at University of Marburg
☆15Feb 6, 2012Updated 14 years ago
Alternatives and similar repositories for PLT2011
Users that are interested in PLT2011 are comparing it to the libraries listed below
Sorting:
- Library-based Language Extensibility☆39Sep 2, 2014Updated 11 years ago
- A Stack-Oriented Imperative Programming language☆11Sep 22, 2019Updated 6 years ago
- External Code Formatter, an IntelliJ IDEA plugin.☆11Jun 21, 2012Updated 13 years ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- A simple yet fairly fast scheme byte code interpreter written in ANSI C.☆14Mar 28, 2021Updated 4 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last month
- Generate scala sources for sbt 0.10☆30Jul 10, 2015Updated 10 years ago
- Simple printing with Text☆10Jan 3, 2017Updated 9 years ago
- a type inferencer and indexer for Python☆11Jul 3, 2014Updated 11 years ago
- Mirror of Apache Harmony DRLVM☆14Mar 21, 2010Updated 15 years ago
- 8-bit virtual computer☆13Aug 26, 2019Updated 6 years ago
- Solutions for Brian Hogan's book, Exercises for Programmers☆13Jan 26, 2019Updated 7 years ago
- ☆11Dec 7, 2015Updated 10 years ago
- [mirror] Containers API library☆10May 30, 2024Updated last year
- Bash script to enable git-worktree to use relative path☆11Mar 7, 2022Updated 3 years ago
- Language Server for Prolog☆13May 2, 2023Updated 2 years ago
- Example of usage of Istio on k8s using Helm☆11Feb 20, 2025Updated last year
- Access hint databases from tactics.☆12Apr 22, 2020Updated 5 years ago
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Jul 19, 2023Updated 2 years ago
- Google Cloud Platform Apache Tomcat Docker image☆11Jul 24, 2018Updated 7 years ago
- A stopgap solution for the lack of notifications on gists☆11Dec 1, 2014Updated 11 years ago
- ☆12Jul 8, 2019Updated 6 years ago
- Course Project COP6726-Database System Implementation☆13Apr 12, 2014Updated 11 years ago
- Tiny Transactions on Computer Systems (TinyToCS) Site☆32Mar 8, 2016Updated 9 years ago
- Testing some ways to avoid race conditions with Spring Data JPA, Hibernate and RDBMS☆13Aug 10, 2022Updated 3 years ago
- A draft design document / RFC describing the plan for incremental and "on-demand"☆14May 18, 2017Updated 8 years ago
- lambda calculus interpreter☆12Mar 31, 2021Updated 4 years ago
- A thought experiment in bringing the semantics of Haskell's partial application of operators to Swift.☆15Feb 9, 2018Updated 8 years ago
- Companion repository for the study: "DecidArch v2: An improved Game to teach Architecture Design Decision Making"☆15Jan 17, 2019Updated 7 years ago
- Study dotty source code using org-mode☆10Jan 10, 2017Updated 9 years ago
- 🐶chihuahua - tiny & fast rendering library☆13Aug 9, 2016Updated 9 years ago
- (Actually) flexible law checking for Scala☆15Dec 22, 2016Updated 9 years ago
- ☆19Nov 24, 2025Updated 3 months ago
- SSO Discourse Application to allow SAML authentication☆14May 11, 2024Updated last year
- Browser plugin to automatically redirect Hackage library pages to Stackage pages.☆15Jun 24, 2017Updated 8 years ago
- A dumb tool to mirror changes in a directory between hosts☆13Mar 1, 2017Updated 9 years ago
- ☆12Jun 26, 2024Updated last year
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Nov 11, 2015Updated 10 years ago
- Fork of the Scala repository used for the Dotty backend☆13Aug 26, 2019Updated 6 years ago