Web-based LaTeX editor
☆13Oct 6, 2015Updated 10 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:
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Feb 28, 2018Updated 8 years ago
- Notify Honeybadger about Haskell exceptions.☆12Updated this week
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Jul 24, 2018Updated 7 years ago
- Simple schema migration manager for Haskell☆14Jan 26, 2021Updated 5 years ago
- A cargo subcommand for publishing Rust projects to github.☆17May 22, 2017Updated 9 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.
- fast clustering algorithms☆15Feb 13, 2019Updated 7 years ago
- ☆14Dec 8, 2016Updated 9 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
- A curated wishlist of Haskell libraries, packages, and tools☆17Feb 7, 2016Updated 10 years ago
- Web Push library in Haskell.☆13Apr 16, 2024Updated 2 years ago
- A lightweight database schema migration system for Rust☆23Oct 29, 2019Updated 6 years ago
- A Typeable-free implementation of extensible effects☆26Aug 3, 2017Updated 8 years ago
- Boot2docker Pow☆16Nov 18, 2015Updated 10 years ago
- Y U WRITE LONG TESTS?☆16Mar 10, 2012Updated 14 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Text hyphenation for Rust☆58Jan 24, 2024Updated 2 years ago
- Support per-user, per-host and per-platform custom config files.☆12Feb 14, 2021Updated 5 years ago
- Tool for migrating MongoDB contents to Solr for indexing written in Ruby☆17Aug 24, 2011Updated 14 years ago
- A lab for future Criterion features.☆28Jan 9, 2019Updated 7 years ago
- ☆20Apr 11, 2018Updated 8 years ago
- Client Side S3 CORS Upload for Amazon S3 - CoffeeScript and JavaScript Class☆120May 21, 2016Updated 10 years ago
- Create apache virtual hosts simply and easily☆34Oct 27, 2012Updated 13 years ago
- Node.js package for generating different kinds of random numbers.☆18Aug 28, 2013Updated 12 years ago
- Aerogarden integration for Home Assistant☆11Oct 14, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Exhaustive pattern matching using lenses, traversals, and prisms☆33Sep 4, 2022Updated 3 years ago
- realtime markdown viewier☆11May 21, 2011Updated 15 years ago
- Dashing widget for displaying the status of a service that uses statuspage.io☆14May 11, 2015Updated 11 years ago
- git-flow Completion support for git-flow.☆15Feb 14, 2021Updated 5 years ago
- A simple PostgreSQL data migration tool☆19Oct 7, 2018Updated 7 years ago
- A Serde deserializer for duration and byte-size.☆10Dec 19, 2019Updated 6 years ago
- Calculate percentage☆21May 25, 2017Updated 8 years ago
- ☆26Oct 18, 2016Updated 9 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Mindless, verified (erasably) coding using dependent types☆104Dec 17, 2015Updated 10 years ago
- Python decorator helper library.☆14Apr 1, 2017Updated 9 years ago
- A metalsmith plugin for generating a sitemap.xml file with sitemap.js☆14Sep 20, 2020Updated 5 years ago
- ☆126Feb 1, 2016Updated 10 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- A platform for storing large semantic networks on MongoDB☆22Jun 20, 2011Updated 14 years ago
- A twitter wall / live stream for your conference / event / topic of interest, as a Django reusable app.☆24Mar 5, 2011Updated 15 years ago