Write yourself a simply-typed lambda calculus using Rust in a week!
☆13May 13, 2024Updated 2 years ago
Alternatives and similar repositories for stlc-in-a-week
Users that are interested in stlc-in-a-week are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- Nugine 的个人博客☆11Sep 9, 2026Updated last month
- A simple (toy) implementation of DNS server☆13Apr 15, 2014Updated 12 years ago
- Telemetry runtime for developer agents, powered by ScopeDB.☆12Updated this week
- A bounded RAM + SSD cache.☆15Oct 28, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆31Aug 19, 2022Updated 4 years ago
- 这是一个基于 OpenCV 4 和 Qt 5 的人脸识别小demo☆11Feb 13, 2021Updated 5 years ago
- The artifact of the paper "Recursive Subtyping for All"☆10Apr 29, 2024Updated 2 years ago
- Shared Unit Raft☆85Aug 22, 2026Updated 2 months ago
- 第十八届全国大学生智能汽车竞赛负压电磁组华南赛区省二作品☆22Oct 31, 2024Updated 2 years ago
- Postgres-GPT combines pgvector and OpenAI to make a SQL-based knowledge repository from Markdown files that allows easy access to relevan…☆21Oct 26, 2023Updated 3 years ago
- 📄 🇨🇳 papers I have read☆29Apr 6, 2021Updated 5 years ago
- PaperMind is a Chrome PDF reading assistant for papers. Open a PDF in the browser, click PaperMind, then translate selections, ask AI que…☆12Jul 10, 2026Updated 3 months ago
- A shell script designed to enhance the Zorin OS experience by enabling premium features.☆13Dec 9, 2024Updated last year
- 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.
- ChatGPT的提问艺术☆12Mar 31, 2023Updated 3 years ago
- USB to CAN with STM32F103☆14Dec 25, 2023Updated 2 years ago
- Golang like WaitGroup implementation for sync/async Rust, support no_std environment.☆37Oct 28, 2026Updated last week
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- ☆16Feb 4, 2026Updated 9 months ago
- RQAlpha 接受实时行情并触发事件 Mod☆21Sep 19, 2018Updated 8 years ago
- 华南某工教务处教师评价一键脚本☆12Jun 24, 2022Updated 4 years ago
- An operator for Apache Doris that manages Doris cluster and observability components through Kubernetes CRs 😆☆13Jan 20, 2024Updated 2 years ago
- ☆12Mar 8, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 15-721 Spring 2024 - Cache #1☆12May 2, 2024Updated 2 years ago
- ☆14May 18, 2024Updated 2 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- Verify naive = datafrog-opt, in rust/polonius☆17Jun 26, 2025Updated last year
- Radix Hash Join - SIGMOD Contest 2018.☆36Apr 16, 2019Updated 7 years ago
- We have Crater At Home☆40Sep 26, 2026Updated last month
- The CompCert formally-verified C compiler☆12Oct 23, 2026Updated 2 weeks ago
- Sekas is a fault-tolerant, scalable, distributed transactional key-value store, used as a cache, database, and storage engine for other d…☆14Oct 27, 2026Updated last week
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated 2 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.
- ☆13Jan 29, 2026Updated 9 months ago
- 使用 c 语言实现的一个轻量级 web 服务器☆14Oct 11, 2019Updated 7 years ago
- Toy prototype for a distributed computing system in C++☆18Nov 26, 2014Updated 11 years ago
- Local-first, private AI agent workspace for Codex and Claude. Own your context and run agents on your Mac.☆36Updated this week
- PCAP files are analysed using python. DNS delays, congestion window sizes, through put and good put are calculated.☆12Jul 1, 2015Updated 11 years ago
- 📻「我的收藏电台」写了个播放界面☆22Nov 8, 2022Updated 3 years ago
- 组件一个 MVP 团队的资源☆11Nov 11, 2022Updated 3 years ago