Repo for Stanford CS 242 Programming Languages Fall 2022 with Prof. Aikens
☆28Jun 3, 2024Updated 2 years ago
Alternatives and similar repositories for Stanford-CS-242-Programming-Languages
Users that are interested in Stanford-CS-242-Programming-Languages are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- A toy programming language you use to build other toys☆12May 15, 2025Updated last year
- Guide to Luau, a modification of Lua used in Roblox scripting☆11Dec 13, 2023Updated 2 years ago
- Tiny Pascal compiler and interpreter☆11Sep 10, 2016Updated 10 years ago
- ☆11Jun 4, 2026Updated 5 months 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.
- native blackwell training backward for gated linear recurrences, and a verifier that catches broken llm-generated gpu kernels☆16Updated this week
- ☆19Nov 10, 2024Updated last year
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆11Oct 24, 2016Updated 10 years ago
- Bubo, the owl strategist, here to help you to build a fortune. NyxsOwl is an innovative machine learning framework designed to simplify a…☆10Jul 8, 2025Updated last year
- Oberon compiler which supports LOOP, EXIT, WITH, multiple RETURNs and forward declarations of procedures☆13Oct 21, 2026Updated 2 weeks ago
- Importer from YNAB to beancount☆12Feb 13, 2024Updated 2 years ago
- ☆14Dec 31, 2024Updated last year
- A general training alignment framework for LLM training debugging. OSDI ’26 Best Paper Nominee.☆21Oct 20, 2026Updated 2 weeks ago
- ☆10Jan 21, 2016Updated 10 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.
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- A step-by-step guide to learning to be a proper, idiomatic Rust programmer☆12Sep 23, 2018Updated 8 years ago
- Polylab polylog pollywog☆24Oct 30, 2026Updated last week
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆11Dec 16, 2018Updated 7 years ago
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆12Jul 1, 2020Updated 6 years ago
- PyOberon: A Python-based Oberon 07 Compiler☆13Mar 14, 2016Updated 10 years ago
- Python to Rust compiler☆14Aug 28, 2022Updated 4 years ago
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆27Aug 20, 2024Updated 2 years ago
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆14Sep 20, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- LiteX LUNA USB stack integration☆14Jun 12, 2022Updated 4 years ago
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- N. Wirth's Project Oberon RISC compiler ported to Go.☆21Feb 12, 2024Updated 2 years ago
- ☆13Jan 7, 2021Updated 5 years ago
- p4 controller in Rust☆12Feb 22, 2021Updated 5 years ago
- ☆13Apr 3, 2026Updated 7 months ago
- This crate computes CRC values from a bit width, a polynomial, a reflection setting, an initial value, and a final XOR value. It also pro…☆19Sep 30, 2026Updated last month
- ☆16May 1, 2021Updated 5 years ago
- An interpreter for College Board's specified pseudocode for the AP Computer Science Principles Exam.☆11Mar 24, 2023Updated 3 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.
- เอกสารประกอบการเรียนรู้ ASP.NET Core MVC (.NET 7)☆18Mar 9, 2025Updated last year
- A repository with academic works about Kernel generation with LLM Agent☆27Oct 30, 2026Updated last week
- Copy of ETHZ repository at ftp://ftp.gwdg.de/pub/languages/oberon/ftp.inf.ethz.ch/☆15Mar 7, 2020Updated 6 years ago
- Printing a book with HTML/CSS☆20Nov 16, 2019Updated 6 years ago
- formwork is my favourite rust template☆19Dec 1, 2025Updated 11 months ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- Runs WebAssembly binaries on barebones x86-64 systems.☆19Apr 23, 2019Updated 7 years ago