yallop / pldi2014-papersView external linksLinks
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
Sorting:
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 9 years ago
- Accepted papers for POPL 2015☆66May 23, 2016Updated 9 years ago
- Accepted papers for ICFP 2014☆119May 19, 2016Updated 9 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆30May 27, 2014Updated 11 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Nov 1, 2016Updated 9 years ago
- ☆73Feb 12, 2014Updated 12 years ago
- Accepted papers for ICFP 2015☆45Mar 4, 2016Updated 9 years ago
- Asynchronous type-checking for Agda 2.6.2.☆22May 17, 2024Updated last year
- Multi-Entity Extraction Framework for Academic Documents (with default extraction tools)☆31Oct 3, 2023Updated 2 years ago
- ICFP Bingo 2017 (Idris edition)☆30Aug 22, 2019Updated 6 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Dec 18, 2025Updated last month
- Narou.rb - 小説家になろうのダウンローダ＆縦書き整形＆管理アプリ。Kindle（などの電子書籍端末）でなろうを読む場合に超便利です！☆12Jan 3, 2025Updated last year
- CS6868: Concurrent Programming☆29Feb 9, 2026Updated last week
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 4 months ago
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆11Jul 17, 2025Updated 6 months ago
- The capistrano tasks for Jenkins CI Server☆26Jul 15, 2014Updated 11 years ago
- ☆20Jun 25, 2013Updated 12 years ago
- ZeroMQ transport for distributed-process (aka Cloud Haskell)☆23Jun 7, 2016Updated 9 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Z3 webpage repository☆10Updated this week
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Xfce desktop including wine, playonlinux and pulseaudio.☆11Aug 11, 2022Updated 3 years ago
- php websocket private chat☆10Mar 29, 2018Updated 7 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- Zhang Wang Fast Approximate Quantiles Algorithm in Rust☆13Jan 3, 2022Updated 4 years ago
- plays the puzzle game LYNE☆10Sep 6, 2014Updated 11 years ago
- C++14 CSV Stream based on C File API☆10Mar 25, 2022Updated 3 years ago
- Wired Server application for Mac OS X☆14May 12, 2020Updated 5 years ago
- State cache for WebGL Rendering Context☆17Jun 3, 2018Updated 7 years ago
- Sorting out the basic facts behind our projects.☆10Sep 1, 2016Updated 9 years ago
- GCode parser, pretty-printer and processing utils☆15Nov 13, 2023Updated 2 years ago
- IPv4/UDP stack written in VHDL code, for interfacing with an FPGA over Ethernet☆12Jun 2, 2021Updated 4 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Type declarations for Node's Buffer class☆10Jul 5, 2023Updated 2 years ago
- std::iter feature complete(-ish) lending iterator for Rustlang☆16Updated this week
- Clipboard synchronization tool☆12Jan 30, 2026Updated 2 weeks ago
- A bunch of extra functionality for Hakyll-based sites.☆11Sep 30, 2015Updated 10 years ago
- Strace: history, usage examples, example syscall tracer implementation☆10Mar 24, 2020Updated 5 years ago