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
Sorting:
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Feb 28, 2018Updated 8 years ago
- Notify Honeybadger about Haskell exceptions.☆12Jan 14, 2026Updated last month
- Web Push library in Haskell.☆13Apr 16, 2024Updated last year
- A cargo subcommand for publishing Rust projects to github.☆16May 22, 2017Updated 8 years ago
- Simple schema migration manager for Haskell☆14Jan 26, 2021Updated 5 years ago
- ☆14Dec 8, 2016Updated 9 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Jul 24, 2018Updated 7 years ago
- Python module for converting SuperMemo collections to Anki☆13Nov 16, 2012Updated 13 years ago
- fast clustering algorithms☆15Feb 13, 2019Updated 7 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 9 months ago
- A Typeable-free implementation of extensible effects☆26Aug 3, 2017Updated 8 years ago
- A lightweight database schema migration system for Rust☆23Oct 29, 2019Updated 6 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆17Feb 7, 2016Updated 10 years ago
- ☆20Apr 11, 2018Updated 7 years ago
- Text hyphenation for Rust☆58Jan 24, 2024Updated 2 years ago
- A lab for future Criterion features.☆28Jan 9, 2019Updated 7 years ago
- RethinkDB client for Clojure☆145Feb 4, 2015Updated 11 years ago
- Mindless, verified (erasably) coding using dependent types☆104Dec 17, 2015Updated 10 years ago
- An embedded DSL for creating, composing, and using probability measures.☆42Sep 10, 2019Updated 6 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆33Sep 4, 2022Updated 3 years ago
- Simple recipes for lazy programmers.☆37Oct 8, 2020Updated 5 years ago
- ☆126Feb 1, 2016Updated 10 years ago
- Probabilistic computation in Idris☆33Jul 2, 2019Updated 6 years ago
- A platform for storing large semantic networks on MongoDB☆22Jun 20, 2011Updated 14 years ago
- Implementation of the Little Man Computer for learning Assembly programming in Julia☆12Jul 16, 2022Updated 3 years ago
- Web application to quickly and easily log your weightlifting sessions☆39Apr 28, 2016Updated 9 years ago
- Maps using values' monoidal structure during merging☆42Jan 28, 2026Updated last month
- Funslang is a pure functional shading language for graphics processors. It borrows heavily from ML and Haskell.☆44Oct 21, 2020Updated 5 years ago
- A Gameboy emulator written in Rust☆35Nov 23, 2018Updated 7 years ago
- A tool to help manage environments☆24Mar 10, 2023Updated 2 years ago
- DEPRECATED: Regularised Empirical Risk Minimisation Framework (SVMs, LogReg, Linear Regression) in Julia☆16Aug 9, 2016Updated 9 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Fast Haskell tagsoup parser☆17Oct 13, 2020Updated 5 years ago
- A collection of example workflows for GitHub Actions that are used for Julia projects and packages.☆13Apr 28, 2020Updated 5 years ago
- haskell wrapper for git☆18Mar 7, 2020Updated 5 years ago
- Awami Nastaliq font project☆14Feb 19, 2026Updated last week
- ☆11Aug 1, 2016Updated 9 years ago
- A small personal project to learn Clojure by implementing some simple machine learning algorithms☆29Oct 12, 2009Updated 16 years ago
- A Serde deserializer for duration and byte-size.☆10Dec 19, 2019Updated 6 years ago