An IDE for reading mathematics: a free, open-source PDF reader for the Mac that turns references into links, proofs into steps and checks derivations as you write them.
☆14Nov 3, 2026Updated this week
Alternatives and similar repositories for lemma
Users that are interested in lemma are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Iris: A minimal 2D game engine in Swift.☆18Aug 12, 2026Updated 2 months ago
- Native macOS replacement for calibre: syncs an ebook library to a Kindle over MTP and edits metadata. No dependencies, 3 MB.☆24Updated this week
- Kernel written in Swift.☆15Jul 31, 2026Updated 3 months ago
- Performant implementations of statistical distributions in pure Swift☆20Updated this week
- Free, open-source native macOS speed reader. RSVP for EPUB, PDF, DOCX, Markdown and web articles, with a full-text view.☆37Oct 7, 2026Updated 3 weeks 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.
- Swift library for working with Extended Backus–Naur Form (EBNF) notation and grammars.☆28Sep 21, 2026Updated last month
- Designate special tags as "reference tags", to show them as github-style badges☆10Jun 5, 2025Updated last year
- 🖊️ Soothing pastel theme for CotEditor☆15May 29, 2026Updated 5 months ago
- ☆11Dec 13, 2023Updated 2 years ago
- Real-time audio DSP in pure Swift. Zero dependencies.☆23Mar 3, 2026Updated 8 months ago
- `SwiftRanges` provides some kinds of range that are not implemented in Swift Standard Library.☆12Apr 18, 2026Updated 6 months ago
- Allocation-free algorithms for Swift’s Span, RawSpan, MutableSpan, and InlineArray, including search, comparison, trimming, chunk/window/…☆31Jul 25, 2026Updated 3 months ago
- Robust API for reading and writing OpenNBS files.☆14Aug 6, 2026Updated 3 months ago
- Library to easily build onboarding like Apple's stock apps with SwiftUI☆23Oct 18, 2026Updated 2 weeks 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.
- A Neovim plugin that extends fzf-lua with additional utilities☆15Mar 19, 2025Updated last year
- A native macOS library for the books on your shelves and the ones still to come☆14Updated this week
- This is Hackintosh EFI for my laptop HP 15 based on OpenCore.☆14Jan 12, 2022Updated 4 years ago
- The real Earth in Minecraft at true scale: real heights, real climate and biomes, terrain to the horizon. NeoForge 1.21.1.☆26Updated this week
- Reference spec for Swift Concurrency☆12Jul 9, 2026Updated 3 months ago
- A basic React Native module that exposes the operating system's installed fonts and available font families.☆14Jan 26, 2023Updated 3 years ago
- A plugin to edit and update xournal files in obsidian vault.☆12Aug 12, 2026Updated 2 months ago
- ☆10Jan 6, 2021Updated 5 years ago
- A Swift library providing CoreAnimation (QuartzCore) API compatibility for WebAssembly, powered by WebGPU☆13Aug 19, 2026Updated 2 months 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.
- Multicursor on select neovim plugin☆20Sep 21, 2026Updated last month
- Remove lag caused by ping when playing the noteblocks in Minecraft.☆15Sep 27, 2026Updated last month
- Enhancing the explosion animation since 2023☆20Sep 16, 2026Updated last month
- Quick Look from the command-line 👀☆23Oct 26, 2026Updated last week
- A Swift package for typed decisions from language models (probabilities, choices, and scores), with support for local MLX models and the …☆53Updated this week
- Tool to easy install or remove additional kexts into /Library/Extensions folder in MacOS 10.11 - 10.15☆27Jun 25, 2025Updated last year
- Open-source, local-first music player with a visual Music Map, Album Wall and listening journeys. macOS, Windows, Linux and Android.☆36Oct 25, 2026Updated last week
- A simple platform for developers to showcase and discuss their projects☆10Jan 10, 2023Updated 3 years ago
- A personal command center for projects, tasks, and daily habits. Self-hosted, single-user, Next.js + SQLite.☆78Oct 27, 2026Updated last week
- 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.
- ☆13Sep 26, 2025Updated last year
- ao3 scraper with web interface☆17Oct 20, 2026Updated 2 weeks ago
- ☆15Mar 2, 2026Updated 8 months ago
- A MACRO-11 assembler for the PDP-11 with long names support. *.OBJ files can be linked using https://github.com/andpp/pclink11. Forked f…☆14Oct 1, 2021Updated 5 years ago
- ☆16Mar 25, 2026Updated 7 months ago
- Efficiency-first framework for pulling, storing, and aggregating Kraken data using the v2 API.☆29Sep 15, 2026Updated last month
- Swift95 is a Windows 95-inspired component kit for SwiftUI.☆30Updated this week