A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
☆18Mar 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:
- ☆10Dec 3, 2019Updated 6 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 7 years ago
- Real-space void locations from survey reconstruction☆13Oct 29, 2025Updated 10 months ago
- AutoReVanced is a Python script designed to automate the process of downloading and patching APKs (Android application packages) with ReV…☆11Jun 16, 2024Updated 2 years ago
- nvim config 2024-2025☆14Apr 14, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Chrome extension and Firefox addon which adds keyboard navigation keys to the arXiv☆12Mar 31, 2025Updated last year
- ☆12May 22, 2016Updated 10 years ago
- Lecture notes from Introduction to Conformal Field Theory course given by Dr. Tobias Osborne.☆16Sep 7, 2021Updated 4 years ago
- ☆33Updated this week
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 5 years ago
- Waits until the exit code of a program is zero☆15Apr 15, 2022Updated 4 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Apr 8, 2024Updated 2 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆12Aug 28, 2024Updated 2 years ago
- 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.
- ☆15Sep 5, 2024Updated last year
- Strongly typed paths in Haskell☆16Nov 14, 2025Updated 9 months ago
- A modern LaTeX class for creating beautifully typeset novels, short story collections and anthologies.☆15May 26, 2026Updated 3 months ago
- Collection of algorithms in Computational Geometry.☆18Oct 13, 2017Updated 8 years ago
- Python wrapper for a Julia solver for geodesics in the Kerr family of spacetimes. Maintainer : @JeS24☆14Aug 29, 2020Updated 6 years ago
- Extracts content information from known URL patterns.☆19Feb 4, 2026Updated 6 months ago
- Command line tool to flatten XML into a line-oriented, greppable format☆15May 6, 2026Updated 3 months ago
- A field theory inspired xAct package for Mathematica☆17Jul 28, 2016Updated 10 years ago
- LaTeX server via perl cgi script, developed for learnlatex.org☆41Aug 10, 2026Updated 3 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Computer algebra for cosmological perturbation theory☆13Mar 28, 2018Updated 8 years ago
- Visualize the paper writing process through your Git commit history☆13Sep 7, 2021Updated 4 years ago
- Short Emacs like editor (pronounce like shmaks or cyrillic шмакс)☆15May 16, 2026Updated 3 months ago
- Visualize and inspect custom algorithms with time travelling☆13Feb 20, 2019Updated 7 years ago
- Simple C Haskell Compiler☆22Feb 5, 2026Updated 6 months ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆16Sep 16, 2021Updated 4 years ago
- AWK Using Structural Expressions☆16Dec 8, 2025Updated 8 months ago
- General Relativity Raytracer - simulates light bending in curved spacetimes on a personal computer☆19Jul 17, 2023Updated 3 years ago
- Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).☆20Oct 8, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- translations of a lambda abstraction to combinations of operators☆19Sep 6, 2019Updated 6 years ago
- Emacs, Rewired☆19May 30, 2026Updated 3 months ago
- Interactive resume created on Streamlit and hosted on AWS EC2.☆20Jul 14, 2022Updated 4 years ago
- A Python script to seamlessly convert LastPass CSV exports into the format required by Apple's Passwords app. Simplifies migrating your l…☆17Oct 17, 2024Updated last year
- Partition refinement☆16Updated this week
- 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 2 years ago
- Files for using dinit as system init on Void☆19Aug 25, 2024Updated 2 years ago