parser module for the amazon kindle's clippings.txt file.
☆15May 21, 2017Updated 9 years ago
Alternatives and similar repositories for klip
Users that are interested in klip are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Packathon katılımcıları için örnek bir Python paketi☆14Jan 22, 2016Updated 10 years ago
- Sevdiğimiz bir telegram botu☆10May 21, 2018Updated 8 years ago
- hassle free project switching☆20Jun 30, 2016Updated 10 years ago
- GitHubDashboard☆13Sep 5, 2013Updated 13 years ago
- Python parser for the Kindle's 'My Clippings.txt' file☆14Dec 2, 2009Updated 16 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.
- 23 Ocak 2016 Packathon Projeleri☆40Jan 27, 2016Updated 10 years ago
- A graphical tool to translate lambda terms to proof nets and run GoI token machine on it☆10Apr 24, 2016Updated 10 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- ☆10Apr 15, 2019Updated 7 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- A Markdown pre-processor with support for BibTeX citations.☆12May 22, 2018Updated 8 years ago
- Standard ML Bindings for LLVM☆10Oct 19, 2014Updated 12 years ago
- ☆10Apr 15, 2020Updated 6 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 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.
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 10 years ago
- Disclose what you collect☆14Feb 24, 2024Updated 2 years ago
- A GitHub repository gathering experienced speakers in the technology sector in Turkey.☆27Aug 15, 2024Updated 2 years ago
- Normalization by Evaluation for STLC with sums (no proof of correctness, shame! shame! shame!)☆12Nov 22, 2019Updated 6 years ago
- Simple terminal string styling in Haskell.☆12Sep 14, 2016Updated 10 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- ☆10May 3, 2017Updated 9 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 9 years ago
- A Haskell implementation of distributed hash tables with two-phase commit.☆10Dec 9, 2016Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Ordered Turtle Serializer for rdflib☆12Mar 28, 2018Updated 8 years ago
- calvin and hobbes search engine☆10Jun 27, 2016Updated 10 years ago
- A collection of SML utility modules that are useful for compiler writing.☆11Oct 18, 2026Updated last week
- Type-Theory in Sequent Calculus☆14Jul 30, 2015Updated 11 years ago
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 12 years ago
- An OCaml EDSL for describing and solving strategic games☆18Sep 10, 2023Updated 3 years ago
- An implementation of (some fragment of) cubical type theory using rewrite rules, based on a talk given by Conor McBride at the 23rd Agda'…☆12Aug 5, 2016Updated 10 years ago
- MCP server for rclone.☆13Feb 8, 2026Updated 8 months ago
- Linked Data to Natural Language☆11Jan 6, 2024Updated 2 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.
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Aug 28, 2018Updated 8 years ago
- GDPR in XML for all 24 EU languages, plus XSLT for transformation to HTML☆13Nov 18, 2022Updated 3 years ago
- secret project☆17Mar 14, 2018Updated 8 years ago
- Experiment with synthetic domain theory in cubical agda☆16Nov 8, 2022Updated 3 years ago
- Fork of Memcached Redux☆11Sep 4, 2023Updated 3 years ago
- ☆16Jun 9, 2024Updated 2 years ago
- ☆18Dec 1, 2015Updated 10 years ago