Solutions to the exercises in and miscellaneous material for the book "Types and Programming Languages" by Benjamin C. Pierce.
☆11Jun 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
Sorting:
- ☆12Aug 26, 2022Updated 3 years ago
- Optimize pipelines for locality☆14Feb 21, 2026Updated last week
- Attribute grammar Based Language Extensions for C☆42Feb 20, 2026Updated last week
- ☆10Nov 1, 2021Updated 4 years ago
- 收集了一些经典的神经网络论文☆12Aug 11, 2024Updated last year
- Parse data and generate plotting scripts based on plotly.☆11Dec 8, 2025Updated 2 months ago
- Collection of my hand-made mods for Balatro.☆16May 16, 2025Updated 9 months ago
- ☆10Jun 12, 2023Updated 2 years ago
- Unofficial Python API client that allows you to access your Supernote files through the Supernote Cloud☆15Apr 28, 2025Updated 10 months ago
- ☆14Jul 24, 2025Updated 7 months ago
- Monte Carlo Render Viewing and Visualization Tools☆11Apr 20, 2021Updated 4 years ago
- Transformer-based Conditional Generative Adversarial Network for Multivariate Time Series Generation (IWTA - PAKDD2023)☆11May 1, 2023Updated 2 years ago
- 在Kaggle比赛 Home Credit Default Risk中测试gplearn进行特征工程的效果☆10Jul 18, 2018Updated 7 years ago
- This repository integrates gem5 with Ramulator2, allowing gem5 to use Ramulator2 as its DRAM memory model. With the provided materials an…☆13Jun 7, 2025Updated 8 months ago
- ☆13Apr 13, 2023Updated 2 years ago
- Collaborative markdown with math☆13Sep 16, 2014Updated 11 years ago
- High-Performance Structured Linear Operators☆13May 17, 2018Updated 7 years ago
- ☆14Feb 5, 2025Updated last year
- Automatically exported from code.google.com/p/llvm-qemu☆11Apr 29, 2015Updated 10 years ago
- ☆12Mar 26, 2025Updated 11 months ago
- sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …☆16Mar 5, 2021Updated 5 years ago
- Setup for a Paper with Performance Evaluation, Latex, ReBench, and KnitR☆10Sep 29, 2016Updated 9 years ago
- Simian Process Oriented Conservative JIT PDES from LANL☆13Dec 12, 2025Updated 2 months ago
- CECS 342 Lab 4: Logic Languages with SWI-Prolog☆13Nov 19, 2021Updated 4 years ago
- Learning Memory Access Pattern☆13Feb 28, 2019Updated 7 years ago
- Python software development kit for writing quantum computing experiments, programs, and applications☆11Jan 29, 2024Updated 2 years ago
- ☆14Jun 11, 2020Updated 5 years ago
- ☆23Mar 9, 2012Updated 13 years ago
- A diff-based copyediting tool☆17Jun 17, 2022Updated 3 years ago
- 替代spec官方的runspec脚本，可以运行在spec的命令前加上前缀命令，用于收集各种信息☆14Updated this week
- Config library for Java☆14Sep 5, 2021Updated 4 years ago
- convex optimization homework☆11Dec 7, 2017Updated 8 years ago
- DEPRECATED - Simple Alfred workflow for pasting second factor authentication codes sent to Apple Message☆18Sep 25, 2025Updated 5 months ago
- Easy resizing of emacs windows.☆16Oct 29, 2018Updated 7 years ago
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆17Nov 20, 2025Updated 3 months ago
- Pythonic wrapper for R's ggplot using rpy2 and pandas☆13Mar 15, 2019Updated 6 years 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
- An open-source Golang command-line application to sync your Supernote cloud files to a local directory for backup, version control, and o…☆12Apr 16, 2025Updated 10 months ago
- An attribute grammar-based programming language for composable language extensions☆68Feb 25, 2026Updated last week