A collection of papers found across the web
☆36Sep 13, 2015Updated 11 years ago
Alternatives and similar repositories for papers
Users that are interested in 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:
- Static blog generator in Idris.☆40Feb 17, 2015Updated 11 years ago
- ScalaIO Talk 2014 code sample☆19Oct 24, 2014Updated 12 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 5 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Jan 28, 2016Updated 10 years ago
- Render VHS tapes with Nix.☆12Aug 25, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆23Apr 23, 2015Updated 11 years ago
- Distributed Markov Chain Monte Carlo☆30Feb 2, 2018Updated 8 years ago
- Utility list for accessibility-based development☆25Oct 1, 2020Updated 6 years ago
- General, extensible effect monad for Scala with message-passing semantics☆37Sep 16, 2017Updated 9 years ago
- Contains exercises for the workshop in generic programming at Lambda World 2019☆10Oct 17, 2019Updated 7 years ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆29Dec 29, 2023Updated 2 years ago
- Spectrogram using canvas, WebRTC, and the Web Audio API.☆16Sep 9, 2013Updated 13 years ago
- Plugin for EPUB ebooks' edition☆13Dec 9, 2015Updated 10 years ago
- The full template for "Automating the Build of your Technical Presentation"☆26Sep 24, 2017Updated 9 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.
- Driving Spark stream with Scalaz-Stream☆26Mar 18, 2014Updated 12 years ago
- Signatures of the category theoretic style; a experiment in flattery☆25Mar 6, 2015Updated 11 years ago
- Explorations in Algebraic Graph Theory☆10Oct 14, 2015Updated 11 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Kotlin Gradle plugins for conveniently setting up Kotlin projects (JVM/MPP), publishing, Dokka, etc☆16Updated this week
- A Racket library for interacting with Idris over the IDE protocol☆30Nov 10, 2017Updated 8 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 9 years ago
- Emacs slime extension for swank-js☆11Oct 15, 2012Updated 14 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆12Oct 3, 2020Updated 6 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- A web-based platform for annotating short-text documents to be used in applied text-mining based research.☆10Jan 28, 2021Updated 5 years ago
- A repo to experiment with Continuation<R, A> implementations in Kotlin☆13Mar 29, 2022Updated 4 years ago
- Generalized recursion for Scalameta. And a Scala template tool.☆17Oct 11, 2017Updated 9 years ago
- Transform a Folder into a Stack Template☆15Aug 23, 2026Updated 2 months ago
- An implementation of the Winternitz OTS (W-OTS+) in Go☆15Mar 14, 2020Updated 6 years ago
- Learning project by a group of people interested in learning the Idris language☆50Feb 18, 2015Updated 11 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 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.
- ☆15Oct 17, 2025Updated last year
- A formalization of (homotopy) limits in Homotopy Type Theory☆10Jan 11, 2015Updated 11 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Jan 8, 2025Updated last year
- A Python interface to OpenFst☆14Jun 4, 2019Updated 7 years ago
- tagless final macro☆18Sep 14, 2015Updated 11 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Aug 5, 2025Updated last year
- A recursion scheme library for Idris.☆25Jun 27, 2026Updated 4 months ago