LaTeX Style file to use for typesetting maths in unicode with XeLaTeX
☆15Feb 7, 2022Updated 4 years ago
Alternatives and similar repositories for Unixode
Users that are interested in Unixode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A gopsutil-based command to display system usage info as text in panels like Waybar or icon/text in tint2 and nwg-panel executors☆44Nov 6, 2024Updated last year
- A package builder☆12Updated this week
- Beautiful photo gallery for the web in one Unix command line. Generates static html and javscript files.☆13Apr 4, 2013Updated 13 years ago
- Julia library to compute and plot nice and colorful Mandelbrot Fractals. Uses multi-threading and GPU.☆19Dec 10, 2019Updated 6 years ago
- A Solarized Color Theme for the LSD, the next gen ls command☆17Feb 7, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Lecture Notes on General Relativity, based on lectures by Dr. Frederic P. Schuller in 2015☆12Apr 24, 2016Updated 10 years ago
- Visual Studio IDE light theme☆15Jun 19, 2026Updated 4 months ago
- ☆45Jul 27, 2021Updated 5 years ago
- ☆20Jan 27, 2023Updated 3 years ago
- ☆18Feb 1, 2022Updated 4 years ago
- Desciption & scripts of how to deploy The Littlest JupyterHub with a Julia kernel☆25Apr 20, 2024Updated 2 years ago
- A collection of Typst math commands/shortcuts defined for the purpose of having the same/similar names as LaTeX math expressions.☆24Apr 3, 2023Updated 3 years ago
- ↔️ A text truncation utility for your window manager, written in Rust.☆14Dec 9, 2016Updated 9 years ago
- Async XMPP library for Python☆18May 7, 2011Updated 15 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A bunch of extra functionality for Hakyll-based sites.☆11Sep 30, 2015Updated 11 years ago
- 🎡 A plugin for scrolling through vim documents with heavily wrapped lines☆13Jul 16, 2024Updated 2 years ago
- A lightweight X11 tool for simulating tiling in a stacking window manager.☆10Feb 9, 2013Updated 13 years ago
- Converting restructured text to the beamer presentation format for LaTeX☆12Jul 17, 2009Updated 17 years ago
- ☆12Aug 2, 2015Updated 11 years ago
- Brewery Home Page☆10Jun 19, 2016Updated 10 years ago
- little brother of Qt-DAB for use under Linux-x64, Windows and RPI2/3 (Obsolete, see qt-dab/dab-mini)☆13Mar 20, 2019Updated 7 years ago
- A Ruby interface to IKEA’s smart lighting system☆18Apr 30, 2017Updated 9 years ago
- A remote control for the pi coding agent. Windows-native, zero third parties.☆10Oct 23, 2026Updated last week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Source code for generating personal website based on Hyde.☆12Jan 2, 2012Updated 14 years ago
- mechanical-elephant.com☆11Jan 29, 2016Updated 10 years ago
- A Python implementation of Trefethen and Battles' Chebfun package.☆12Mar 9, 2016Updated 10 years ago
- Read any web page from the command line using readability.js☆13Jul 15, 2020Updated 6 years ago
- 👨🎓 3D MIDI visualization using Three.js developed in the course TNM061 - 3D Computer Graphics at Linköping University (2016). Develope…☆12May 29, 2016Updated 10 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- A Policy Gradient RL agent for time series prediction using PyTorch Lightning.☆12Mar 30, 2026Updated 7 months ago
- A Python utility for controlling Boox Mira e-ink displays.☆11Sep 10, 2023Updated 3 years ago
- GSF player with visualization (WIP)☆10Oct 29, 2021Updated 5 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.
- Robot arm simulator with rigid body dynamics☆12Feb 18, 2011Updated 15 years ago
- Terminal multiplexer in rust☆15Jan 21, 2018Updated 8 years ago
- Dependently-typed structures for quantum physics in Idris☆13Nov 25, 2015Updated 10 years ago
- Leibnizian type equality☆13Mar 12, 2023Updated 3 years ago
- Course notes on the lecture on characteristic classes, KTH, 2015☆10Nov 7, 2024Updated last year
- Emulate Coq IDE in VIM☆12Jun 14, 2013Updated 13 years ago
- Experiments on Aider Extensions☆12Feb 2, 2025Updated last year