Make Linux speak what's on the screen: clearly and securely.
☆32Apr 6, 2024Updated last year
Alternatives and similar repositories for mintPiper
Users that are interested in mintPiper 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 set of tools that make working with the Scala ecosystem even better.☆12Mar 16, 2026Updated last week
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Cleanai (https://github.com/willmil11/cleanai) except I'm making it in c now. Fast and clean from the start this time :)☆17Mar 6, 2026Updated 2 weeks ago
- GitHub Repository Naming Suggestion Service: AI powered naming suggestions for your GitHub repositories☆18Jan 9, 2023Updated 3 years ago
- LocalChatVRM is a project primarily for technical sharing and demonstration purposes. It was used for a demo exhibition at Google I/O 20…☆19Jun 10, 2025Updated 9 months ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- An FLTK-based multi-connection VNC client for Unix-like and Windows systems☆10Sep 24, 2025Updated 6 months ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆17Dec 27, 2025Updated 2 months ago
- ☆10Mar 17, 2026Updated last week
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 5 years ago
- SBT Plugins For ZIO Projects☆12Mar 18, 2026Updated last week
- BigInteger for scala with very fast modPow☆10Mar 10, 2026Updated 2 weeks ago
- ☆13Updated this week
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- Using cloudflare workers and DOs to make a https tunnel that scales☆22Nov 22, 2025Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Giter8 template for a simple project that uses sbt-crossproject.☆11Jul 16, 2018Updated 7 years ago
- TASTy Migration Manager☆12Oct 9, 2025Updated 5 months ago
- Adds size optimizations to any Perseus app automatically.☆10Apr 20, 2022Updated 3 years ago
- Swift privileged helper tool using SMAppService instead of SMJobBless☆25Sep 6, 2025Updated 6 months ago
- RTL blocks compatible with the Rocket Chip Generator☆17Mar 30, 2025Updated 11 months ago
- Inference Llama 2 in one file of pure go☆16Jul 25, 2023Updated 2 years ago
- Supplemental materials for the book entitled "Practical ML Programming with SML#"☆10Jun 27, 2025Updated 8 months ago
- Plugin to produce locales dbs☆11Mar 4, 2026Updated 3 weeks ago
- Staging area for new benchmarking infrastructure for Scala Native.☆16Nov 1, 2023Updated 2 years ago
- 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.
- Data management utilities for Scala☆19Dec 13, 2016Updated 9 years ago
- Framework agnostic system to convert natural language into data visualization☆21Jan 27, 2026Updated last month
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 6 months ago
- ☆15Mar 10, 2024Updated 2 years ago
- Common sbt plugins for Play modules☆12Oct 21, 2023Updated 2 years ago
- This repo contains code for the paper "Psychologically-informed chain-of-thought prompts for metaphor understanding in large language mod…☆14Apr 28, 2023Updated 2 years ago
- A Scala testing library for homeworks☆10Aug 17, 2022Updated 3 years ago
- tsellm: LLMs in SQLite and DuckDB☆25Apr 21, 2025Updated 11 months ago
- Atomic Scala Book Solutions - for Beginners and first time Functional Programmers☆12Mar 10, 2020Updated 6 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.
- Let GPT-4 run your Minecraft server!☆10Apr 15, 2023Updated 2 years ago
- IDE backend for Julia☆27Dec 8, 2015Updated 10 years ago
- Mill Plugin to ease Cross Platform projects☆14Feb 4, 2026Updated last month
- A small framework for web apps using http4s+tapir+laminar. Currently for personal use but may grow into a thing later down the line.☆11Mar 4, 2026Updated 3 weeks ago
- ☆12Dec 27, 2024Updated last year
- Build NVIDIA® CUDA™ code for OpenCL™ 1.2 devices☆14Feb 8, 2017Updated 9 years ago
- A Nushell plugin that adds 63 cryptographic hash functions from Hashes project☆15Sep 25, 2025Updated 6 months ago