realhats LaTeX package
☆120Apr 5, 2023Updated 3 years ago
Alternatives and similar repositories for realhats
Users that are interested in realhats are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Updated this week
- Writing proofs to Twitter since April 2020☆12Jun 9, 2022Updated 4 years ago
- @logicbot@mathstodon.xyz☆21Apr 15, 2023Updated 3 years ago
- A faster and more accurate Exp (and Exp2, Exp10) functions for Julia.☆16Jan 18, 2022Updated 4 years ago
- A tqdm-like progress bar that fills your terminal with a snake along a random space-filling curve. Julia port of snakebar.☆20Oct 30, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Why can't the 6502 virtualize itself? Good question.☆25Mar 30, 2026Updated 5 months ago
- glsl testbench -- a WIP opengl wrapper/shader testing system☆12Feb 26, 2021Updated 5 years ago
- Watch Face Description Language☆19Dec 25, 2019Updated 6 years ago
- Code for reproducing IS-Count: Large-scale Object Counting with Importance Sampling (AAAI 2022)☆26Nov 3, 2022Updated 3 years ago
- ☆15Dec 28, 2020Updated 5 years ago
- A simple comment CSS for linking in R markdown☆11Dec 8, 2018Updated 7 years ago
- A clean beamer/ltx-talk theme with a big title graphic☆22Updated this week
- A nicer deparse☆12Jun 22, 2017Updated 9 years ago
- ftp for R☆27Sep 1, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- IPython/Jupiter kernel for Racket and Gamble.☆10May 1, 2018Updated 8 years ago
- My UNIX configuration files.☆10Oct 23, 2020Updated 5 years ago
- Arch Linux MATLAB PKGBUILD☆14Sep 25, 2022Updated 3 years ago
- 🎓Use the R Console as an interactive learning environment☆28Sep 12, 2024Updated 2 years ago
- ARCHIVED Generate Code from BNF Grammars☆12May 10, 2022Updated 4 years ago
- An R-package to build nesting or hierarchical structures☆13Feb 2, 2022Updated 4 years ago
- Create a data visualization using Polymer and WebGL☆15Jun 10, 2017Updated 9 years ago
- Retrieve and explore data from the ecological interactions database MANGAL☆16Jan 22, 2026Updated 7 months ago
- LHCb data analysis lessons☆12Oct 2, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Ansi/Ansi Viewer in Ecmascript☆18Mar 26, 2018Updated 8 years ago
- the concurrent partitioner☆16Mar 23, 2026Updated 5 months ago
- Julia language support for TextMate 2☆15Feb 27, 2017Updated 9 years ago
- ☆28Jun 28, 2016Updated 10 years ago
- NES cartridge PCB manufacturing test☆30Dec 6, 2022Updated 3 years ago
- FEniCS website☆17Aug 11, 2026Updated last month
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Pipeline for genetic epidemiology projects at Univsersity of Bristol☆15Jul 23, 2026Updated last month
- An R graphics device which renders to audio☆14Oct 8, 2019Updated 6 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.
- Experiment with synthetic domain theory in cubical agda☆15Nov 8, 2022Updated 3 years ago
- Computational Acoustics Knowledgebase☆18Mar 27, 2024Updated 2 years ago
- Basically my firefox bookmarks with better search☆31Mar 5, 2021Updated 5 years ago
- A conference schedule optimiser using linear programming.☆22Jul 8, 2026Updated 2 months ago
- ☆13Feb 14, 2022Updated 4 years ago
- An R package for fitting Quinlan's C5.0 classification model☆53Mar 2, 2026Updated 6 months ago
- ☆10Jul 4, 2026Updated 2 months ago