LaTeX-style mathematical symbols input method for macOS
☆21Nov 23, 2023Updated 2 years ago
Alternatives and similar repositories for MathSymbolsInput
Users that are interested in MathSymbolsInput are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated last year
- Simple command-line tool for macOS that encodes videos in a format suitable for publishing to Mastodon☆17Dec 24, 2022Updated 3 years ago
- playing around with ELF in zig☆13May 10, 2026Updated last month
- File system monitoring utility based on FSEvents API MacOS☆10May 4, 2020Updated 6 years ago
- Collection of high-quality, reusable Swift components designed for iOS and macOS development 🍎☆18Mar 31, 2025Updated last year
- 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.
- A tool to add, remove and check for `tracing::instrument` in large projects where it is infeasible to manually add it to thousands of fun…☆15Oct 13, 2023Updated 2 years ago
- ☆10Feb 14, 2020Updated 6 years ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆71Jun 13, 2025Updated 11 months ago
- char <-> Unicode character name (maintained fork of huonw/unicode_names)☆12Jun 4, 2026Updated last week
- Scripts to convert Markdown to PDF and ePub books with Pandoc. Command line for Linux and GUI for macOS in SwiftUI 5☆44Nov 17, 2024Updated last year
- This repository is a transcription of the code from the YouTube channel 'Learn to Computer' (https://www.youtube.com/channel/UCcFVlUyZm22…☆12Jun 24, 2020Updated 5 years ago
- PostWoman 💅 is a lightweight Postman alternative designed specifically for macOS☆32Jan 16, 2026Updated 4 months ago
- Command line tool to send key events to a process☆11May 12, 2021Updated 5 years ago
- A general-purpose parser framework in Rust.☆12Jun 17, 2024Updated last year
- AI Agents on 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.
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆13Apr 16, 2024Updated 2 years ago
- #[derive(Iterator, DoubleEndedIterator, ExactSizeIterator, FusedIterator, Extend)] for enums.☆15May 26, 2026Updated 2 weeks ago
- Dynamic dispatch over arbitrary predicates☆10Feb 2, 2016Updated 10 years ago
- Fast lookup of the Unicode General Category property for `char` in Rust.☆22Sep 16, 2025Updated 8 months ago
- A collection of utilities for working with compiled Python bytecode.☆27Jul 31, 2024Updated last year
- nature is api gateway, just show you for how to bulid api gateway☆12Feb 14, 2023Updated 3 years ago
- ☆11Aug 25, 2022Updated 3 years ago
- shim written in rust☆17Oct 24, 2023Updated 2 years ago
- A simple download manager for macOS written in Swift☆13Jan 22, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Trash plugin for SpaceFM, compliant with the FreeDesktop.org Trash specification and supporting multi-core processing.☆15May 20, 2025Updated last year
- A fast and minimalistic image viewer in Rust - Personal fork of Artur Kovacs' discontinued "Emulsion" project with a few fixes + addition…☆11Feb 6, 2022Updated 4 years ago
- pyenv integration for xonsh☆13Aug 13, 2024Updated last year
- Rusty example CLI☆15Nov 19, 2022Updated 3 years ago
- My notes☆10Dec 4, 2015Updated 10 years ago
- ☆11Dec 27, 2021Updated 4 years ago
- Search for gitmoji and copy them to your clipboard☆16Jan 15, 2023Updated 3 years ago
- Golang bindings for macOS / OS X libproc☆15Jan 20, 2018Updated 8 years ago
- A babel plugin to add extensions to import and export declarations.☆11Jul 10, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Rollup plugin for Angular with ivy enable☆18Jan 6, 2023Updated 3 years ago
- Sublime Text 2/3 plugin to convert CSS Hex colors to HSL.☆52Apr 20, 2017Updated 9 years ago
- A short example of how to build a Lua module in C.☆12Nov 11, 2015Updated 10 years ago
- Adds XML linting, schema support and formatting to Nova☆11Mar 1, 2026Updated 3 months ago
- Example Swift 4.2 implementation of the Sidebar Use Case using NSOutlineView with CoreData, RxSwift and the whole layout aligned at Apple…☆12Jun 21, 2020Updated 5 years ago
- Structural utility directives for Angular☆13Jun 1, 2022Updated 4 years ago
- Watching TeX digest tokens☆28Jan 5, 2024Updated 2 years ago