A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
☆19Mar 23, 2025Updated last year
Alternatives and similar repositories for mathcask
Users that are interested in mathcask are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- Material associated with Physics Report "Data science applications to string theory"☆11Jun 20, 2023Updated 2 years ago
- Glanceables is a handy macOS desktop app that turns parts of websites into easy-to-view widgets. This app makes it simpler to keep tabs o…☆58Aug 21, 2024Updated last year
- Real-space void locations from survey reconstruction☆11Oct 29, 2025Updated 5 months ago
- Chrome extension and Firefox addon which adds keyboard navigation keys to the arXiv☆12Mar 31, 2025Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆30Mar 31, 2026Updated last week
- ☆12Sep 22, 2020Updated 5 years ago
- ☆10Dec 3, 2019Updated 6 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- nvim config 2024-2025☆14Apr 14, 2025Updated 11 months ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Apr 8, 2024Updated 2 years ago
- Waits until the exit code of a program is zero☆15Apr 15, 2022Updated 3 years ago
- Lecture notes from Introduction to Conformal Field Theory course given by Dr. Tobias Osborne.☆16Sep 7, 2021Updated 4 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated 11 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆12Aug 28, 2024Updated last year
- ☆16Sep 10, 2025Updated 7 months ago
- A modern LaTeX class for creating beautifully typeset novels, short story collections and anthologies.☆15Oct 4, 2025Updated 6 months ago
- generate synthetic data for training finite state machines/pushdown automata/turing machines☆17Apr 26, 2024Updated last year
- Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.☆19Nov 6, 2025Updated 5 months ago
- Ideas for the next generation of Haskell's Arrow notation☆12Dec 23, 2019Updated 6 years ago
- Lecture notes for a graduate mathematical methods in physics course at UCR☆14Oct 2, 2023Updated 2 years ago
- Python wrapper for a Julia solver for geodesics in the Kerr family of spacetimes. Maintainer : @JeS24☆14Aug 29, 2020Updated 5 years ago
- A field theory inspired xAct package for Mathematica☆17Jul 28, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A modern instructional typeface for early readers☆20Jan 31, 2026Updated 2 months ago
- Commutative diagrams with TikZ☆55Sep 24, 2022Updated 3 years ago
- Simple C Haskell Compiler☆22Feb 5, 2026Updated 2 months ago
- Dataset Representation Language for Reading Heterogeneous Datasets to RDF or JSON☆11Feb 1, 2024Updated 2 years ago
- Computer algebra for cosmological perturbation theory☆13Mar 28, 2018Updated 8 years ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Sep 16, 2021Updated 4 years ago
- Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).☆20Oct 8, 2020Updated 5 years ago
- Building a compiler to WASM step-by-step☆15Mar 23, 2025Updated last year
- A visual-first, statically typed, pluggable, graph-based programming language☆28Sep 12, 2025Updated 6 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Coq library for handling names☆19Aug 5, 2022Updated 3 years ago
- Database app of links to 10,000+ online talk videos by cosmology researchers presenting their work to others in the field. Data is from 2…☆20May 5, 2024Updated last year
- Grammar Converter☆31Jan 2, 2026Updated 3 months ago
- Adding Subtitle capabilities to Chrome Video Player for MP4 videos☆21Sep 20, 2019Updated 6 years ago
- Ready-to-use small set of development tools☆23Apr 5, 2024Updated 2 years ago
- packer scripts for running the raspberrypi with qemu☆15Oct 12, 2016Updated 9 years ago
- Faster access to Tesseract-OCR from Python☆13Jun 8, 2021Updated 4 years ago