Principles Of Programming Languages - Projects and Homeworks
☆73May 11, 2015Updated 10 years ago
Alternatives and similar repositories for CS312-PrinciplesOfProgrammingLanguages
Users that are interested in CS312-PrinciplesOfProgrammingLanguages are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Voxel-based Editor☆13Jul 11, 2018Updated 7 years ago
- ☆11Mar 7, 2022Updated 4 years ago
- Will be radically different from libmdbx by the new database format and API based on C++17☆14Dec 3, 2019Updated 6 years ago
- 3D sandbox game that aims to be Minecraft compatible (functionality-wise)☆13Jan 23, 2017Updated 9 years ago
- A platformer/metroidvania game☆14Oct 4, 2025Updated 5 months ago
- 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.
- An experimental space game☆19Oct 30, 2017Updated 8 years ago
- ☆11Sep 15, 2017Updated 8 years ago
- CIAO is a C++ implementation of the OMG's LwCCM standard.☆10Nov 11, 2020Updated 5 years ago
- Infinite world using MDC☆23Oct 17, 2016Updated 9 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- helloworld powerpc-app on qemu-e500☆14Oct 21, 2015Updated 10 years ago
- ☆13Nov 7, 2017Updated 8 years ago
- D language parser for Tiled map files.☆16Mar 25, 2022Updated 4 years ago
- 《How to Design Program》《build your own lisp》《The Scheme Program Language》 TSPL HTDP☆27Oct 24, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- the landslide codebase (old simics version)☆11Sep 27, 2018Updated 7 years ago
- Ikko language☆26Oct 4, 2020Updated 5 years ago
- Automated Analysis Framework for Simulink/Stateflow☆15Jul 25, 2023Updated 2 years ago
- Validate XML files against their referenced XML Schemas concurrently and fast☆19Mar 11, 2026Updated 2 weeks ago
- compiler course info☆251Oct 10, 2023Updated 2 years ago
- DiscreteTom's Blog Boilerplate.☆10Mar 6, 2023Updated 3 years ago
- 使用Java开发的自定义日志组件，开箱即用！其中涉及到简单工厂模式、策略模式、自定义注解、Spring Event等技术点，让我们一起共勉！☆14Dec 19, 2025Updated 3 months ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- Chrome extension to remove the "People also search for" element☆12Apr 16, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Print Server for device with suport ZPL☆11Jan 6, 2023Updated 3 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- ☆11Mar 3, 2021Updated 5 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- Advent of Code 2016, in Haskell☆15Oct 7, 2017Updated 8 years ago
- IEC61131-3 runtime system based on xenomai☆19Jan 20, 2019Updated 7 years ago
- DSL Platform - compiler clients☆25Jun 28, 2025Updated 8 months ago
- Tiny Transactions on Computer Systems (TinyToCS) Site☆32Mar 8, 2016Updated 10 years ago
- Modeling and Proving in Computational Type Theory☆121Aug 6, 2025Updated 7 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Small openGL demo program with purely-procedural grass generation☆10Nov 10, 2016Updated 9 years ago
- Fault injection and chaos testing all in one, sweet DSL.☆12Jan 26, 2026Updated last month
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Jul 1, 2021Updated 4 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- Add color tags to files and folders on Mac OS X☆11Mar 16, 2025Updated last year
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 5 years ago
- A POC implementation of muKanren using CSP (core.async)☆31May 2, 2014Updated 11 years ago