A collection of plain text or csv formatted public domain word lists.
☆22Jun 10, 2017Updated 9 years ago
Alternatives and similar repositories for Public-Domain-Word-Lists
Users that are interested in Public-Domain-Word-Lists are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Script and library to wait for a DNS authority server to get its configuration.☆15Oct 21, 2021Updated 5 years ago
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 3 years ago
- Customizable masonry Flatlist. it just behave like Flatlist but using ScrollView behind the scene☆10Aug 31, 2022Updated 4 years ago
- 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.
- simple build/restart service for docker containers when the filesystem changes☆11Nov 17, 2016Updated 9 years ago
- ☆12Sep 17, 2026Updated last month
- Source code for all my competitive programming activities☆13Dec 28, 2024Updated last year
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- A File System Graph Database☆11Jan 1, 2016Updated 10 years ago
- ☆12Apr 22, 2025Updated last year
- The third iteration of the Lavender programming language, implemented in Rust.☆12Apr 17, 2021Updated 5 years ago
- A longtime needed iterator for C++ STL std::bitset<N>☆11Feb 7, 2019Updated 7 years ago
- API helpers for Gun.js☆14Apr 1, 2017Updated 9 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.
- A Matrix chat client☆15Sep 24, 2026Updated last month
- Wasm examples, brought to you by humans!☆16Jan 7, 2021Updated 5 years ago
- Formalizing origami geometry and numbers☆11Aug 31, 2026Updated 2 months ago
- A tool for building Lean4 .olean files from Lean3 export data☆11Jul 28, 2021Updated 5 years ago
- Promise-aware TypeScript debounce, throttle, batching, retries, concurrency limits, and React/Vue adapters. Zero runtime dependencies.☆19Oct 19, 2026Updated 2 weeks ago
- Agda formalisations of some big-step normalization proofs☆14May 8, 2016Updated 10 years ago
- ilo pali is a RISC V operating system featuring a microkernel.☆10Jul 4, 2024Updated 2 years ago
- Free, local App Store Optimization CLI + agent skills: keyword popularity, difficulty, ranks, SQLite history, automatic Apple sign-in.☆19Oct 5, 2026Updated 3 weeks ago
- Creates a list of possible write-outs by combining your theory and a list of words, and their pronunciation/morphology☆13Sep 2, 2026Updated 2 months 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.
- Fastify MikroORM plugin☆10Sep 2, 2022Updated 4 years ago
- A reactive stream primitive that accepts other streams as input.☆22Feb 18, 2019Updated 7 years ago
- ☆15Updated this week
- melon-fire package for WatermelonDB Firestore sync☆14Jul 8, 2026Updated 3 months ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 4 years ago
- Hungarian WordNet / Magyar WordNet☆12Aug 12, 2026Updated 2 months ago
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- Discover laws in your code like with QuickSpec☆17Jun 6, 2021Updated 5 years ago
- A backup suite. Supports FLZMA2, bzip3, LZ4, Zstandard, LSH i-node ordering deduplicating archiver, long range deduplication, encryption …☆19Aug 5, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Lean formalization of the optimality proof of the 11 square packing☆28Oct 6, 2026Updated 3 weeks ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 8 months ago
- ☆14Jan 3, 2022Updated 4 years ago
- A Craft extension to preview Mermaid.js code blocks☆15Jun 22, 2022Updated 4 years ago
- Fast and clean schedule generator for IUers!☆12Jan 5, 2023Updated 3 years ago
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆19Jul 17, 2026Updated 3 months ago
- Judging backend server for the VNOJ online judge.☆11Oct 11, 2026Updated 3 weeks ago