Solutions to the exercises in and miscellaneous material for the book "Types and Programming Languages" by Benjamin C. Pierce.
☆12Jun 14, 2019Updated 7 years ago
Alternatives and similar repositories for tapl
Users that are interested in tapl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Apr 13, 2023Updated 3 years ago
- Attribute grammar Based Language Extensions for C☆44Feb 20, 2026Updated 7 months ago
- 华科寝室简易门禁☆30Mar 30, 2022Updated 4 years ago
- An integrated context-aware scanner and parser generator☆24Sep 5, 2026Updated 2 weeks ago
- ☆20May 23, 2026Updated 4 months ago
- 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.
- Quantum computation simulator☆14Oct 3, 2023Updated 2 years ago
- This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…☆15Sep 30, 2024Updated last year
- Mechanizing Types and Programming Languages using Beluga☆23May 29, 2020Updated 6 years ago
- Mastering Multithreading with C++, published by Packt☆18Jan 20, 2021Updated 5 years ago
- Tool implementing Property Probes☆23Jun 14, 2026Updated 3 months ago
- ☆14Jun 11, 2020Updated 6 years ago
- A C++ memory pool that is Boost-friendly and performance oriented (zero-malloc).☆23Jun 18, 2026Updated 3 months ago
- ☆18Jul 5, 2026Updated 2 months ago
- An attribute grammar-based programming language for composable language extensions☆74Sep 8, 2026Updated 2 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆12Aug 26, 2022Updated 4 years ago
- Securing Embedded Systems with Return Address Integrity☆16Aug 19, 2024Updated 2 years ago
- C++ proactor network library for Linux☆18Jun 11, 2015Updated 11 years ago
- Automatically exported from code.google.com/p/llvm-qemu☆11Apr 29, 2015Updated 11 years ago
- DevOps Code RealTime documentation and samples repository☆19Aug 18, 2026Updated last month
- ☆10Jun 12, 2023Updated 3 years ago
- Symbolic Geometric Algebra with E-Graphs☆20May 2, 2026Updated 4 months ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆219Jul 26, 2020Updated 6 years ago
- TARDIS: Topological Algorithms for Robust DIscovery of Singularities☆45Aug 7, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆14Jan 16, 2021Updated 5 years ago
- High-performance web server for Linux, built on io_uring.☆21May 4, 2024Updated 2 years ago
- A repository of projects that Qiskit Advocates are actively working on. This project has been evolved into Qiskit Advocate Mentorship Pro…☆14Apr 26, 2022Updated 4 years ago
- fork of file_parda from bitbucket☆11Jun 27, 2015Updated 11 years ago
- Simian Process Oriented Conservative JIT PDES from LANL☆13Dec 12, 2025Updated 9 months ago
- Simple script to activate Windows 11 Pro. You may also upgrade from Home to Pro running a .bat file.☆21Jul 7, 2023Updated 3 years ago
- Prototype allocator for the prevention of use-after-free attacks, as described in the S&P 2020 Paper - "MarkUs: Drop-in use-after-free pr…☆15Jan 14, 2022Updated 4 years ago
- 在Kaggle比赛 Home Credit Default Risk中测试gplearn进行特征工程的效果☆10Jul 18, 2018Updated 8 years ago
- ☆10Nov 1, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- This repository integrates gem5 with Ramulator2, allowing gem5 to use Ramulator2 as its DRAM memory model. With the provided materials an…☆14Jun 7, 2025Updated last year
- ☆15May 26, 2021Updated 5 years ago
- Writing optimized code for Hudson River Trading BookBuilder Workshop (invite-only)☆10May 29, 2021Updated 5 years ago
- A back-tester for testing stock trading strategies on historical data☆20Aug 26, 2026Updated 3 weeks ago
- RazorBlade - A smart contract vulnerability detection framework utilizing Control Flow Graph (CFG) and Graph Neural Networks (GNN)☆10Apr 11, 2024Updated 2 years ago
- Quantum Computing Education for the Software Engineer☆26Oct 15, 2021Updated 4 years ago
- Quantum Classification tutorial using Microsoft Quantum Development Kit☆22Dec 3, 2020Updated 5 years ago