Harvard CS2520R Fall 2026
☆12Oct 15, 2026Updated 3 weeks ago
Alternatives and similar repositories for future-of-programming-class
Users that are interested in future-of-programming-class are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Rational Defense of Reasonable Reflection (LICS'26 Keynote)☆10Jul 21, 2026Updated 3 months ago
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆18Jul 31, 2026Updated 3 months ago
- Rubric is a domain specific language for specifying constraints and validating AI-generated code.☆12Nov 4, 2025Updated last year
- Dafny verifies proofs; claimcheck confirms intent.☆34Oct 29, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications☆42Mar 9, 2026Updated 8 months ago
- ☆15May 28, 2026Updated 5 months ago
- Swifty interface for the LLVM compiler infrastructure.☆34Oct 31, 2026Updated last week
- TL‑B Runtime is a library for parsing and (de)serializing binary data according to formal schemas☆13Feb 3, 2026Updated 9 months ago
- Local Anthropic API proxy that routes through Claude Code CLI — use your subscription, no API keys needed☆15Apr 24, 2026Updated 6 months ago
- A set of primitive types and utilities for the Tycho node☆12Oct 8, 2026Updated last month
- Deprecated, use Acton☆15May 6, 2026Updated 6 months ago
- Make agents prove that their code is correct.☆68Jun 2, 2026Updated 5 months ago
- Applying the Chinese Wall Reverse Engineering Technique to Large Language Model Code Editing☆12Aug 2, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- TON lite-client in Rust☆13Nov 29, 2024Updated last year
- Honeycomb-style wide events — accumulate structured fields throughout a request lifecycle and emit as a single JSON line via tracing☆11Updated this week
- Teaching Rust, sharing patterns, and exploring real-world code.☆14Mar 13, 2026Updated 7 months ago
- Fundamental data types for Eversvale/Venom node in Rust☆15Apr 21, 2024Updated 2 years ago
- Serving Next Generation Experimental Tracking for Machine Learning Operations☆15Mar 5, 2026Updated 8 months ago
- Asynchronous TON Center client SDK (V2, V3) with subscription services, transaction flows, parallel processing, and debug tools.☆20Mar 1, 2024Updated 2 years ago
- Let AI agents run research experiments + train small language models (in your browser!)☆73Nov 3, 2026Updated last week
- ☆13Oct 24, 2026Updated 2 weeks ago
- A place in which I put various resources from my classes, presentations, and videos.☆47Dec 10, 2023Updated 2 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.
- Payment channel contract implementation for TON Payment Network☆20Mar 2, 2026Updated 8 months ago
- 2048, but the RNG is always against you☆10Aug 4, 2023Updated 3 years ago
- ☆23Nov 2, 2026Updated last week
- a selection of pretty felonious things in rust☆23Jul 20, 2024Updated 2 years ago
- Test run any program on D1 Nezha board flash☆27Jul 29, 2022Updated 4 years ago
- A sample mathematics paper to illustrate basic ideas in LaTeX☆12Jul 21, 2024Updated 2 years ago
- Read & write JavaScript values from Python with the V8 serialization format.☆20Sep 30, 2025Updated last year
- ☆18Mar 31, 2024Updated 2 years ago
- LaTeX source files for https://cjquines.com/☆11Nov 4, 2026Updated last week
- 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.
- ☆13Oct 3, 2026Updated last month
- BLAS Library in Exo☆12Aug 15, 2026Updated 2 months ago
- Accelerator on how to finetune Microsoft's Florance-2 model for a variety of computer vision use cases.☆17May 6, 2025Updated last year
- ☆14Oct 15, 2026Updated 3 weeks ago
- Your desk setup, in your pocket — a phone-shaped remote for the tmux full of pi sessions, plus a voice-driven meta agent☆18Sep 24, 2026Updated last month
- ☆12Nov 22, 2022Updated 3 years ago
- Large scale server deploys using BitTorrent and the BitTornado library☆11Sep 25, 2018Updated 8 years ago
Are these results useful?