Problem rendering engine for WeBWorK
☆47Mar 17, 2026Updated this week
Alternatives and similar repositories for pg
Users that are interested in pg are comparing it to the libraries listed below
Sorting:
- Course management front end for WeBWorK☆157Updated this week
- A library of WeBWorK problems contributed by the OpenWeBWorK community☆248Updated this week
- Command line interface for quickly creating, authoring, and building PreTeXt documents.☆21Mar 7, 2026Updated last week
- PG Renderer for WeBWorK problems [powered by Mojolicious]☆10Feb 27, 2026Updated 3 weeks ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 2 years ago
- collaboration on work in progress☆15Mar 4, 2011Updated 15 years ago
- Formalization of type theory☆22Jul 5, 2021Updated 4 years ago
- Snap package for Spot, a native Spotify client for GNOME☆11May 21, 2025Updated 9 months ago
- A collection of sweet badges for fedizens☆10Dec 5, 2017Updated 8 years ago
- Applied AI with GameplayKit project☆11May 16, 2024Updated last year
- 🟡 Golang for Playdate. Compiler, SDK Bindings, Tools and Examples ⚒️☆57Mar 12, 2026Updated last week
- ☆15Oct 24, 2025Updated 4 months ago
- Eurorack analog synth implementation of ondes Martenot☆14Jun 19, 2024Updated last year
- Twemoji font in COLR/CPAL layered format☆14Nov 20, 2025Updated 4 months ago
- A robust, evolving Ren'Py framework that adds operating system-like features☆13Sep 6, 2020Updated 5 years ago
- A puzzle game inspired by Yume Nikki and The Witness☆12Aug 26, 2023Updated 2 years ago
- A strawberry theme for Mastodon☆15Nov 3, 2018Updated 7 years ago
- Official website of Pixelfed☆16Jan 4, 2023Updated 3 years ago
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆33Apr 22, 2024Updated last year
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated last month
- Beans, beans, beans!☆10Nov 30, 2021Updated 4 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Experiments with a SwiftUI version of Hyperspace for macOS and iOS☆15May 16, 2022Updated 3 years ago
- A typst to html compiler for hugo☆18May 16, 2025Updated 10 months ago
- Simple menubar application based on Electron with actual weather information and forecast.☆16Dec 13, 2019Updated 6 years ago
- Text generation language☆35Sep 21, 2025Updated 5 months ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆20Feb 26, 2026Updated 3 weeks ago
- ☆12Feb 23, 2026Updated 3 weeks ago
- Class instances for Coq inductive types with little boilerplate☆27Mar 5, 2026Updated 2 weeks 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 3 weeks ago
- Google Chrome extension. Blocks the fonts you want to block.☆21Dec 22, 2024Updated last year
- ☆32Apr 17, 2023Updated 2 years ago
- A collection of LaTeX Templates used by my own.☆11Apr 20, 2022Updated 3 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 8 years ago
- Instantly share typst documents on git and other network storage.☆31Nov 8, 2025Updated 4 months ago
- Collection of National Science Foundation (NSF) proposal templates: pitches, general applications, etc.☆16Nov 17, 2023Updated 2 years ago
- Importer of tile maps from the Tiled editor to the Godot game engine.☆20Oct 23, 2022Updated 3 years ago
- A JavaScript implementation of the Logic Programming System described in section 4.4 of "Structure and Interpretation of Computer Program…☆22Jan 25, 2012Updated 14 years ago
- An image proxy and optimization server☆28Dec 22, 2022Updated 3 years ago