Principles Of Programming Languages - Projects and Homeworks
☆72May 11, 2015Updated 11 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:
- Examples of Abstract Data Types written in Javascript for educational purposes☆11Jun 3, 2015Updated 11 years ago
- abstract data types for the C programming language☆11Oct 3, 2026Updated last month
- Voxel-based Editor☆14Jul 11, 2018Updated 8 years ago
- A JMM Cookbook for Java Developers(as opposed to a cookbook for Compiler Writers)☆11Jun 13, 2014Updated 12 years ago
- A selection of resources from Binghamton University's EECE580G - Deep Learning for ECE course☆12May 21, 2021Updated 5 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.
- A Rust version of the CS61B course at UC Berkeley☆13Jan 23, 2023Updated 3 years ago
- Lite OpenGL 3D Engine☆10Jan 29, 2018Updated 8 years ago
- Experiments with interactive theorem provers, LLMs and formal systems☆26Jul 10, 2023Updated 3 years ago
- 3D sandbox game that aims to be Minecraft compatible (functionality-wise)☆15Jan 23, 2017Updated 9 years ago
- ☆13Nov 7, 2017Updated 8 years ago
- An experimental space game☆19Oct 30, 2017Updated 9 years ago
- Chinese word segmentation with the neural seq2seq model implement in pytorch☆10Dec 13, 2017Updated 8 years ago
- Static file server which packs all data in the binary☆10Oct 17, 2021Updated 5 years ago
- ubertk (utk) is an API-agnostic C++ GUI toolkit targetted mainly towards graphics applications.☆22Sep 16, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 🐝🧇 Prototype template #lang for Pollen☆11Nov 24, 2025Updated 11 months ago
- A binary format parser generator DSL with support for limited context-sensitivity.☆11Dec 29, 2023Updated 2 years ago
- raw nio practice(Event Loop, Load Balancer, HTTP/1.1 Server)☆26Sep 30, 2021Updated 5 years ago
- Ikko language☆26Oct 4, 2020Updated 6 years ago
- D language parser for Tiled map files.☆18Mar 25, 2022Updated 4 years ago
- Spirit Mod for Terraria.☆26Sep 21, 2026Updated last month
- 《How to Design Program》《build your own lisp》《The Scheme Program Language》 TSPL HTDP☆27Oct 24, 2021Updated 5 years ago
- A small, spec-compliant JavaScript engine written in MoonBit, inspired by QuickJS☆15Jan 30, 2026Updated 9 months ago
- 2.5D rendering engine with: GUI system, scripts (Chaiscript), webassembly-support☆18May 25, 2019Updated 7 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.
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- Syntax highlighting for Alda - a music programming language.☆14Sep 5, 2021Updated 5 years ago
- A cron-like scheduler for Racket.☆12Mar 2, 2026Updated 8 months ago
- compiler course info☆250Oct 10, 2023Updated 3 years ago
- High level model for MongoDB consistency☆15Oct 16, 2025Updated last year
- Minimal implementations for dependent type checking and elaboration☆10Apr 26, 2026Updated 6 months ago
- The implementation of paxos☆11Apr 10, 2016Updated 10 years ago
- Infinite world using MDC☆24Oct 17, 2016Updated 10 years ago
- Advent of Code 2016, in Haskell☆15Oct 7, 2017Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- mima-kit is a cryptographic suite implemented in TypeScript. The goal is to provide an easy-to-use cryptographic library. mima-kit 是一个使用 …☆11Jul 13, 2026Updated 3 months ago
- Smaky legacy games☆13Jun 6, 2026Updated 5 months ago
- Take a peek at HN/知乎日报/V2EX/SBBS within Emacs☆13Jun 7, 2015Updated 11 years ago
- Stanford Computer Science Curriculum in 2021☆11Jun 21, 2021Updated 5 years ago
- Collection of examples for the MiniSat API☆16Feb 1, 2011Updated 15 years ago
- 使用Java开发的自定义日志组件，开箱即用！其中涉及到简单工厂模式、策略模式、自定义注解、Spring Event等技术点，让我们一起共勉！☆17Dec 19, 2025Updated 10 months ago
- Draw lightsabers using Racket's pict library☆11Jul 31, 2019Updated 7 years ago