☆73Feb 12, 2014Updated 12 years ago
Alternatives and similar repositories for popl2014-papers
Users that are interested in popl2014-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:
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆73Jul 24, 2016Updated 10 years ago
- Accepted papers for POPL 2015☆66May 23, 2016Updated 10 years ago
- Accepted papers for ICFP 2014☆118May 19, 2016Updated 10 years ago
- Link to preprints for ICFP'16 and co-located events☆139Oct 31, 2016Updated 10 years ago
- Accepted papers for ICFP 2015☆46Mar 4, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Links to publicly available preprints for the POPL'16 conference☆121Nov 1, 2016Updated 9 years ago
- ☆15Nov 14, 2014Updated 11 years ago
- GHC plugin for constant math elimination☆14Nov 2, 2012Updated 13 years ago
- A library and framework for massively parallelizing backtracking searches in Haskell with a strong emphasis on ease of use.☆31Jul 30, 2019Updated 7 years ago
- List of Accepted Papers to ICFP 2012, with Papers (preprints) linked☆24Jul 16, 2012Updated 14 years ago
- ☆13Mar 27, 2013Updated 13 years ago
- An unofficial list of papers accepted to POPL 2013.☆19Jan 13, 2018Updated 8 years ago
- OCaml bindings to libuv -- Cross-platform asychronous I/O☆18Jan 12, 2015Updated 11 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 7 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.
- Rasterific backend for diagrams☆16Oct 22, 2026Updated last week
- Phylogenetic Library for OCaml☆14Mar 26, 2015Updated 11 years ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆16Mar 17, 2018Updated 8 years ago
- Code from Hoodlums Meetups☆19Jan 16, 2020Updated 6 years ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 9 years ago
- Learn you an Agda (and achieve enlightenment)☆315Feb 13, 2018Updated 8 years ago
- Accepted papers for Haskell 2014☆52May 19, 2016Updated 10 years ago
- A web server to show bottlenecks of GHC☆15Jan 31, 2024Updated 2 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Mar 1, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Code generation utils for LLVM☆22Nov 3, 2014Updated 11 years ago
- Effects EDSL for Idris☆13Mar 28, 2013Updated 13 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆72Jun 2, 2015Updated 11 years ago
- Tools to support multiple GHC distributions in a Bash shell environment☆14Jul 11, 2019Updated 7 years ago
- ☆17Oct 8, 2014Updated 12 years ago
- Obsidian Language Repository☆43May 23, 2018Updated 8 years ago
- A reimplementation of GHC's runtime system in Rust☆15Apr 29, 2014Updated 12 years ago
- Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.☆12Dec 31, 2015Updated 10 years ago
- Haskell suite library for name resolution☆52Apr 9, 2025Updated last year
- 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.
- Generate standalone haddock documentation for a set of packages☆28Jun 27, 2020Updated 6 years ago
- edn for Erlang☆13Jun 20, 2022Updated 4 years ago
- A simple tetris clone☆26Aug 29, 2022Updated 4 years ago
- Shonan #143: Programming Language Support for Data-intensive Applications☆15Jul 1, 2019Updated 7 years ago
- moonline.zsh provides a modern prompt for zsh☆15Mar 8, 2018Updated 8 years ago
- The LVish Haskell library☆81Oct 27, 2022Updated 4 years ago
- Z3 webpage repository☆10Updated this week