Problem rendering engine for WeBWorK
☆48Oct 6, 2026Updated this week
Alternatives and similar repositories for pg
Users that are interested in pg are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Course management front end for WeBWorK☆164Updated this week
- A library of WeBWorK problems contributed by the OpenWeBWorK community☆255Updated this week
- Command line interface for quickly creating, authoring, and building PreTeXt documents.☆27Oct 1, 2026Updated last week
- A custom Lua writer to convert anything pandoc reads to PreTeXt.☆19Jul 15, 2026Updated 2 months ago
- ☆34Sep 18, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- PreTeXt: an authoring and publishing system for scholarly documents☆465Updated this week
- PG Renderer for WeBWorK problems [powered by Mojolicious]☆10Sep 21, 2026Updated 2 weeks ago
- STM32CubeIDE framework for the DaisySeed board, integrating audio codec, SDRAM, and QSPI flash memory management.☆17Feb 25, 2026Updated 7 months ago
- Set of tools and data to compute all known invariants for simple connected graphs☆15Jun 19, 2026Updated 3 months ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 3 years ago
- Lightweight markup language - Document Once☆53Jul 24, 2026Updated 2 months ago
- collaboration on work in progress☆15Mar 4, 2011Updated 15 years ago
- Formalization of type theory☆22Jul 5, 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.
- ☆16May 19, 2014Updated 12 years ago
- A framework for extensible, reflective decision procedures.☆19Nov 25, 2019Updated 6 years ago
- Backend webhook server for Stripe payment gateway, written in Node.js☆16Sep 27, 2014Updated 12 years ago
- 2354 bytes of CFD!☆12Feb 15, 2018Updated 8 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆38Oct 1, 2026Updated last week
- Applied AI with GameplayKit project☆11May 16, 2024Updated 2 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆57May 28, 2026Updated 4 months ago
- A project management service with pure functional programming paradigm in the heart.☆23Oct 3, 2022Updated 4 years ago
- ☆16Aug 1, 2026Updated 2 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Twemoji font in COLR/CPAL layered format☆13Nov 20, 2025Updated 10 months ago
- Indicator for Ubuntu with Unity desktop to show disk usage☆37Oct 30, 2018Updated 7 years ago
- A handbook for mathematicians who want to get productive using GitHub☆12Jun 23, 2026Updated 3 months ago
- integrated content management framework for create multiple websites.☆22Apr 1, 2021Updated 5 years ago
- Simulation engine involving a 2D universe populated by cells and entities☆10Jun 14, 2023Updated 3 years ago
- A very high-speed, configurable, and portable packet-crafting utility optimized for embedded devices☆79Aug 25, 2026Updated last month
- 🤖 curl | sh installer script for Typst☆14Oct 26, 2025Updated 11 months ago
- Experiments with a SwiftUI version of Hyperspace for macOS and iOS☆15May 16, 2022Updated 4 years ago
- A typst to html compiler for hugo☆17May 16, 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.
- code-server AUR package☆16Oct 2, 2026Updated last week
- ☆34Apr 17, 2023Updated 3 years ago
- Finance module for node, angular and plain ole javascript☆21Feb 17, 2026Updated 7 months ago
- A GitHub Action that installs mdBook on a GitHub Runner and supports various plugins like linkcheck, mermaid, toc, open-on-gh, admonish, …☆17Feb 27, 2026Updated 7 months ago
- Convenient and efficient B-splines.☆21Jul 10, 2015Updated 11 years ago
- STTextView Annotations Plugin☆17Sep 16, 2026Updated 3 weeks ago
- ☆11Updated this week