Icelandic-Czech Students' Dictionary in LaTex
☆22Feb 29, 2016Updated 10 years ago
Alternatives and similar repositories for LaTex-ICSS
Users that are interested in LaTex-ICSS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LaTeX facsimile of a Bible de Genève, 1564☆451Feb 17, 2023Updated 3 years ago
- A pen'n'paper RPG that fits on 4 pages. Typeset in LaTeX.☆137Apr 2, 2022Updated 4 years ago
- Create EPUBs from your Readwise Reader inbox☆17Jul 8, 2023Updated 2 years ago
- Search and preview for MailDir files on MacOS☆16Sep 1, 2017Updated 8 years ago
- A symbol font for the NIP'AJIN pen'n'paper RPG.☆24Feb 17, 2016Updated 10 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 🧛🏻♂️ Dark theme for Ulysses☆10Mar 21, 2022Updated 4 years ago
- Automatically exported from code.google.com/p/osis-converters☆13Jun 6, 2026Updated last week
- ☆13Mar 19, 2021Updated 5 years ago
- Detect input encoding and convert to utf-8 if needed☆28Nov 27, 2016Updated 9 years ago
- Web scraper for BibleGateway that will retrieve the entire Bible in a translation of the user's choice to be stored in plain text.☆10Jul 21, 2019Updated 6 years ago
- Ulysses for Mac cheatsheet for Dash☆11Aug 8, 2016Updated 9 years ago
- The Holy Bible with etymological context based on John Wycliffe translation of the Latin Vulgate☆12May 1, 2021Updated 5 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Jul 28, 2017Updated 8 years ago
- Atom Package☆17Feb 27, 2016Updated 10 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.
- Tools for retrieving bibles from biblegateway.com for use in AndBible☆17Apr 7, 2023Updated 3 years ago
- Publish from Tinderbox to DEVONthink☆19Sep 18, 2020Updated 5 years ago
- Listen to the weather using Sonic Pi and data from Mathematica☆11Dec 6, 2018Updated 7 years ago
- Boilerplate for consistent lecture notes, slides, and assignments using LaTeX beamer and tufte-latex.☆19Oct 11, 2017Updated 8 years ago
- Swete's LXX Text from 1KY Greek with Corrections Against Manuscripts☆10Oct 11, 2020Updated 5 years ago
- Command-line tool for fetching Bible passages from biblegateway.com☆16Apr 29, 2022Updated 4 years ago
- A Tmux plug-in that can automatically generate countless charming themes and support a high degree of customization, bringing the most wo…☆15Jun 7, 2026Updated last week
- Scan for missing timeout calls in python source files☆18Mar 18, 2020Updated 6 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 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.
- Exploring calendar outlining☆17Feb 14, 2024Updated 2 years ago
- This script adapts jgclark's BibleGateway-to-Markdown script to export for use in Obsidian.☆23Nov 20, 2022Updated 3 years ago
- A utility for simultaneously creating full-page PDF snapshots and web archives of web pages in DEVONthink Pro.☆25Jul 24, 2020Updated 5 years ago
- Export saved links from Facebook☆21Mar 6, 2026Updated 3 months ago
- Mastodon server running for the Doubanius Tertius project☆10Apr 4, 2022Updated 4 years ago
- Layout & typography for LaTeX books using the memoir document class☆10Aug 22, 2024Updated last year
- ☆22Dec 15, 2021Updated 4 years ago
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- DONUT: Database of Original and Non-Theoretical Applications of Topology☆18Jun 4, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- Rescuing the SOUL great logic meta programming language☆12Oct 7, 2018Updated 7 years ago
- A chat bot that pulls from your Readwise highlights, using ChatGPT API.☆23May 25, 2024Updated 2 years ago
- currently vaporware☆12Aug 25, 2020Updated 5 years ago
- VDO.Ninja Trampoline☆26Apr 23, 2022Updated 4 years ago
- Python Music Theory and Notation Library☆11Nov 9, 2017Updated 8 years ago
- Pharo utility for visualizing OO instance structure during runtime via UML instance models.☆13Nov 3, 2017Updated 8 years ago