Accepted papers for PLDI 2014
☆15May 19, 2016Updated 9 years ago
Alternatives and similar repositories for pldi2014-papers
Users that are interested in pldi2014-papers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Accepted papers for ICFP 2014☆119May 19, 2016Updated 9 years ago
- Accepted papers for POPL 2015☆66May 23, 2016Updated 9 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 9 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Nov 1, 2016Updated 9 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆30May 27, 2014Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆73Feb 12, 2014Updated 12 years ago
- Physically Based Rendering Scenes☆15Oct 2, 2021Updated 4 years ago
- Multi-Entity Extraction Framework for Academic Documents (with default extraction tools)☆31Oct 3, 2023Updated 2 years ago
- Accepted papers for ICFP 2015☆45Mar 4, 2016Updated 10 years ago
- Asynchronous type-checking for Agda 2.6.2.☆22May 17, 2024Updated last year
- Link to preprints for POPL'17 and co-located events☆100Mar 15, 2017Updated 9 years ago
- Cross-platform OpenGL and OpenGL ES samples (for Windows, Android, and Linux)☆18Jul 2, 2014Updated 11 years ago
- Clipboard synchronization tool☆13Updated this week
- here I just want to backup my answers but not to propagate☆18Feb 29, 2016Updated 10 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.
- Prototype implementation of operator methods (fork of https://github.com/golang/go)☆26Oct 6, 2016Updated 9 years ago
- Vanilla JavaScript interpreter with built-in NO-SQL document database with Btree & ARTful indexing from the database project.☆13Apr 18, 2020Updated 5 years ago
- C++ heterogeneous and lock-free containers☆13Sep 5, 2018Updated 7 years ago
- GameWorks cross-platform graphics API samples☆16Mar 4, 2018Updated 8 years ago
- C++14 CSV Stream based on C File API☆10Mar 25, 2022Updated 4 years ago
- ICFP Bingo 2017 (Idris edition)☆30Aug 22, 2019Updated 6 years ago
- Attempt to automate Cyrillic calligraphy called Vyaz☆11Apr 14, 2024Updated last year
- A simple real time GPU path tracer, using DX11 Compute shaders .☆20Aug 11, 2023Updated 2 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Bring mdb walkers to gdb, also add other helpful commands.☆34Feb 4, 2025Updated last year
- IPv4/UDP stack written in VHDL code, for interfacing with an FPGA over Ethernet☆11Jun 2, 2021Updated 4 years ago
- Strace: history, usage examples, example syscall tracer implementation☆10Mar 24, 2020Updated 6 years ago
- Experimental support for contracts programming in clang++☆28Dec 12, 2018Updated 7 years ago
- ZeroMQ transport for distributed-process (aka Cloud Haskell)☆23Jun 7, 2016Updated 9 years ago
- ☆20Jun 25, 2013Updated 12 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- An Ada implementation of James Munns' BBQueue☆11Oct 17, 2025Updated 5 months ago
- Collection of full, mini, proxy, and benchmark apps.☆11Feb 14, 2020Updated 6 years ago
- 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.
- Avatarify for Intel RealSense☆12Nov 22, 2022Updated 3 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Mar 12, 2026Updated 2 weeks ago
- State cache for WebGL Rendering Context☆17Jun 3, 2018Updated 7 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- ☆13May 17, 2016Updated 9 years ago
- The capistrano tasks for Jenkins CI Server☆26Jul 15, 2014Updated 11 years ago
- php websocket private chat☆10Mar 29, 2018Updated 8 years ago