Solutions to the exercises in and miscellaneous material for the book "Types and Programming Languages" by Benjamin C. Pierce.
☆12Jun 14, 2019Updated 6 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:
- The CompCert formally-verified C compiler☆11Updated this week
- A system which deploys and manages containerized applications. Course project of SJTU SE3356, 2022.☆16Jun 29, 2022Updated 3 years ago
- Simple script to activate Windows 11 Pro. You may also upgrade from Home to Pro running a .bat file.☆19Jul 7, 2023Updated 2 years ago
- Attribute grammar Based Language Extensions for C☆43Feb 20, 2026Updated 2 months ago
- This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to ben…☆14Sep 1, 2022Updated 3 years 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.
- Newlib built with Clang for custom OS☆10Apr 30, 2018Updated 8 years ago
- An integrated context-aware scanner and parser generator☆23Dec 4, 2023Updated 2 years ago
- 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
- An attribute grammar-based programming language for composable language extensions☆70Apr 23, 2026Updated last week
- ☆14Jun 11, 2020Updated 5 years ago
- ☆12Aug 26, 2022Updated 3 years ago
- Securing Embedded Systems with Return Address Integrity☆16Aug 19, 2024Updated last year
- A fully reproducible nix flake for automatic1111/stable-diffusion-webui with CUDA support.☆13Apr 13, 2023Updated 3 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.
- ☆19Sep 8, 2025Updated 7 months ago
- ☆10Jun 12, 2023Updated 2 years ago
- Parse data and generate plotting scripts based on plotly.☆12Dec 8, 2025Updated 4 months ago
- Automatically exported from code.google.com/p/llvm-qemu☆11Apr 29, 2015Updated 11 years ago
- Python software development kit for writing quantum computing experiments, programs, and applications☆11Jan 29, 2024Updated 2 years ago
- TARDIS: Topological Algorithms for Robust DIscovery of Singularities☆44Jul 28, 2023Updated 2 years ago
- Collection of my hand-made mods for Balatro.☆16May 16, 2025Updated 11 months ago
- fork of file_parda from bitbucket☆11Jun 27, 2015Updated 10 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
- 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.
- 在Kaggle比赛 Home Credit Default Risk中测试gplearn进行特征工程的效果☆10Jul 18, 2018Updated 7 years ago
- High-performance web server for Linux, built on io_uring.☆21May 4, 2024Updated 2 years ago
- ☆15May 26, 2021Updated 4 years ago
- This repo contains a version of musl that is being modified to Checked C. Checked C is an extension to C that adds checking to detect or …☆27Jun 12, 2023Updated 2 years ago
- Writing optimized code for Hudson River Trading BookBuilder Workshop (invite-only)☆10May 29, 2021Updated 4 years ago
- ☆14Jul 24, 2025Updated 9 months ago
- ☆14Feb 5, 2025Updated last year
- Quantum Computing Education for the Software Engineer☆24Oct 15, 2021Updated 4 years ago
- Quantum Classification tutorial using Microsoft Quantum Development Kit☆21Dec 3, 2020Updated 5 years 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.
- Transformer-based Conditional Generative Adversarial Network for Multivariate Time Series Generation (IWTA - PAKDD2023)☆12May 1, 2023Updated 3 years ago
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆18Nov 20, 2025Updated 5 months ago
- A Python widget for Quirk to be used in Jupyter notebooks, JupyterLab, and the IPython kernel.☆24May 19, 2022Updated 3 years ago
- Cycle-level, trace-driven, parallel GPU simulator for NVIDIA Pascal.☆16Dec 13, 2025Updated 4 months ago
- GPU-accelerated LLM Training Simulator☆18Jun 26, 2025Updated 10 months ago
- ☆17Sep 11, 2020Updated 5 years ago
- Multiple approaches to statistical simulation for computer architects☆14Jun 1, 2020Updated 5 years ago