Web-based LaTeX editor
☆13Oct 6, 2015Updated 11 years ago
Alternatives and similar repositories for puma
Users that are interested in puma are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Notify Honeybadger about Haskell exceptions.☆12Oct 2, 2026Updated last month
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆23Feb 28, 2018Updated 8 years ago
- Simple schema migration manager for Haskell☆14Jan 26, 2021Updated 5 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Jul 24, 2018Updated 8 years ago
- An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"☆17Jan 26, 2018Updated 8 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.
- ☆14Dec 8, 2016Updated 9 years ago
- fast clustering algorithms☆15Feb 13, 2019Updated 7 years ago
- A cargo subcommand for publishing Rust projects to github.☆17May 22, 2017Updated 9 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆17Feb 7, 2016Updated 10 years ago
- Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)☆15May 12, 2025Updated last year
- project has moved to https://github.com/lucasdicioccio/deptrack-project☆10May 6, 2017Updated 9 years ago
- Web Push library in Haskell.☆13Apr 16, 2024Updated 2 years ago
- ☆11Jan 28, 2023Updated 3 years ago
- Distributed RPC framework for enterprise SOA infrastructure☆19Mar 22, 2017Updated 9 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.
- 百万连接测试☆10May 26, 2014Updated 12 years ago
- ☆20Apr 11, 2018Updated 8 years ago
- Text hyphenation for Rust☆58Jan 24, 2024Updated 2 years ago
- simple DNS blacklist lookup module☆12Jul 16, 2014Updated 12 years ago
- CPU miner for Litecoin and Bitcoin☆14May 9, 2013Updated 13 years ago
- Software to communicate with cars with an ELM327☆11Mar 4, 2011Updated 15 years ago
- Comodo☆14Oct 14, 2024Updated 2 years ago
- Python trading client and auto-trading bot for the MtGox Bitcoin currency exchange - DEPRECATED see☆11Jan 18, 2014Updated 12 years ago
- A lab for future Criterion features.☆28Jan 9, 2019Updated 7 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.
- wizkid057's fork of Eloipool☆15Jun 16, 2016Updated 10 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆33Sep 4, 2022Updated 4 years ago
- Use the Zephir Development Wechat☆12Jul 5, 2016Updated 10 years ago
- Default Linux/Android defconfig and fex files for OLinuXino Boards☆11Jun 16, 2017Updated 9 years ago
- OBD2 Bluetooth Terminal for Android☆12Nov 7, 2011Updated 14 years ago
- Public specification for the Punktum dk EPP service☆16Sep 9, 2026Updated last month
- ☆14Updated this week
- Adding user agent parsing capabilities to nginx☆14May 26, 2020Updated 6 years ago
- A Typeable-free implementation of extensible effects☆26Aug 3, 2017Updated 9 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.
- Continuing development on the already open source VisualME7Logger. This Application pulls data from the Motronic (ME7.1) ECU currently us…☆12May 10, 2026Updated 5 months ago
- Registry Fee Extension for the Extensible Provisioning Protocol☆13May 26, 2016Updated 10 years ago
- ☆125Feb 1, 2016Updated 10 years ago
- realtime markdown viewier☆11May 21, 2011Updated 15 years ago
- descrypt-ztex-bruteforcer☆16Jul 24, 2014Updated 12 years ago
- A Serde deserializer for duration and byte-size.☆10Dec 19, 2019Updated 6 years ago
- A simple Diagnostics over IP (DoIP) parser written in C.☆13Aug 16, 2016Updated 10 years ago