A plugin for the Anki Spaced Repetition System (http://ichi2.net/anki/)
☆39Feb 20, 2011Updated 15 years ago
Alternatives and similar repositories for pinyin-toolkit
Users that are interested in pinyin-toolkit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Program Expression Graphs for Equality Saturation☆12Feb 16, 2009Updated 17 years ago
- Edit distance library for Haskell☆27Jan 19, 2017Updated 9 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆24Mar 30, 2011Updated 15 years ago
- Character set detection for Haskell☆14Dec 1, 2025Updated 11 months ago
- Machine learning library for Haskell☆14Sep 13, 2008Updated 18 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.☆17Sep 10, 2021Updated 5 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Sep 6, 2019Updated 7 years ago
- ☆10Jun 15, 2022Updated 4 years ago
- Fine-grained lattice primitives for Haskell☆18Mar 8, 2018Updated 8 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Dec 27, 2025Updated 10 months ago
- Live code with Quil (Processing + Clojure) on the web!☆12Aug 2, 2015Updated 11 years ago
- CLJS on Google Apps Script☆15Sep 7, 2016Updated 10 years ago
- A Redis backed Clojure/Ring session store☆13Nov 15, 2021Updated 4 years ago
- A framework for writing OSX menu bar plugins in Common Lisp.☆11Aug 22, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An experimental type theory with scoped equality reflection, and non-arbitrary proof search. This is basically a pared down version of An…☆12Jul 27, 2014Updated 12 years ago
- A collection of IDA scripts☆13Aug 11, 2010Updated 16 years ago
- Common Lisp metaclass adding support for slot validation☆11Mar 31, 2025Updated last year
- Easily push yard docs to Github Pages☆13Mar 14, 2021Updated 5 years ago
- GCP, data driven☆17Apr 5, 2023Updated 3 years ago
- CLI for managing personal contacts. Can be agent-driven. Uses CardDAV (apple/fastmail contacts). Your AI agent (or you) checks who you're…☆15Apr 18, 2026Updated 6 months ago
- An internet based client for the Anki spaced learning system that works offline.☆15Jan 23, 2011Updated 15 years ago
- Various python wrappers I use to build documents using markdown and pandoc.☆15Jul 6, 2026Updated 3 months ago
- Playing with time series☆14Aug 27, 2015Updated 11 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.
- Translator from GHC Core to Isabelle/HOLCF☆16May 2, 2012Updated 14 years ago
- A simple Capture-The-Flag engine☆12Sep 4, 2026Updated last month
- Objective-C to Lisp Binding with Transparent Layer☆12Feb 22, 2026Updated 8 months ago
- Simple and Fast ProgressBar Library for Common Lisp. (Reimplementation of cl-cram)☆13Aug 6, 2024Updated 2 years ago
- Fast Common Lisp insertion-ordered linear-probing hash tables and sets☆13Oct 24, 2026Updated last week
- Self-update functionality for Common Lisp executables via GitHub/GitLab Releases☆16Oct 25, 2026Updated last week
- ☆17Apr 20, 2012Updated 14 years ago
- ☆13Feb 20, 2026Updated 8 months ago
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 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.
- Automate the publishing of generated docs☆26Mar 6, 2018Updated 8 years ago
- Generalized Convolution and Efficient Language Recognition☆18Jul 20, 2019Updated 7 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Mar 10, 2018Updated 8 years ago
- A shortcut macro to write DEFCLASS forms quickly☆15Dec 22, 2024Updated last year
- Use Axiom relations with an RDBMS☆15Jan 24, 2014Updated 12 years ago
- A simple thread-safe binary heap implementation for Common Lisp. MIT licence.☆34Jun 18, 2015Updated 11 years ago
- A toolkit library to help deal with CoreFoundation, Cocoa, and objc☆13May 17, 2026Updated 5 months ago