☆16Mar 6, 2024Updated 2 years ago
Alternatives and similar repositories for logic2011
Users that are interested in logic2011 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Conspect for ITMO Operation System course (spring 2016)☆19May 17, 2016Updated 10 years ago
- ☆28Jun 3, 2018Updated 8 years ago
- An automatic JSON API for HPI☆16Oct 25, 2024Updated 2 years ago
- Extensible Python Framework for Apache Mesos☆33Oct 19, 2017Updated 9 years ago
- Parses data out of your Google Takeout (History, Activity, Youtube, Locations, etc...)☆11May 16, 2026Updated 5 months 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.
- Timeline app for nostalgia☆12Sep 12, 2023Updated 3 years ago
- For notebooks, slides and other materials.☆11Jul 31, 2020Updated 6 years ago
- Bazam.org is Shazam for books! Find any book by context, keyword, or id☆10Jan 28, 2021Updated 5 years ago
- 📈 All data from my life — location, health, work, play, and more — open sourced☆13Jul 5, 2022Updated 4 years ago
- a personal media (movies, tv episodes, video games, albums, listens) feed using HPI☆14Aug 5, 2026Updated 2 months ago
- something like a public wiki, - a place to store notes, ideas, blogposts, photography, or writing☆24Aug 5, 2026Updated 2 months ago
- Tool for cleaning old and redundant backups☆16Oct 25, 2026Updated last week
- Diet tracker for the command line☆13Sep 20, 2026Updated last month
- A Collection of Awesome Personal Search Engines and Related Projects☆22Jan 10, 2023Updated 3 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.
- Emacs package to make exporting org-mode files to gitbook easier☆11Jun 7, 2017Updated 9 years ago
- "Easy" data dump of your activity on various web services☆14Dec 7, 2022Updated 3 years ago
- ☆15Jan 31, 2015Updated 11 years ago
- Plot charts from arbtt-stats to terminal☆17Oct 22, 2026Updated last week
- Public realms found in *.zulipchat.com☆11Nov 2, 2022Updated 4 years ago
- Hacking a fx-991MS solar panel space to place a 0.91" inch OLED and a esp8266-12E, which is integrated to firebase to fetch text file and…☆11May 8, 2020Updated 6 years ago
- Logic-based meal optimizer☆17Aug 13, 2021Updated 5 years ago
- Simple reflection of expressions☆34Jun 18, 2021Updated 5 years ago
- Quick calculator to experiment with a 28 hour day.☆19Nov 12, 2018Updated 7 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.
- A library for application-level caching☆21Apr 5, 2024Updated 2 years ago
- a tool to snapshot sqlite databases you don't own☆25Jul 20, 2026Updated 3 months ago
- Pharo edition of ActivePapers☆21May 2, 2021Updated 5 years ago
- Build API clients that work both with regular and async code☆16Aug 29, 2022Updated 4 years ago
- This is the HeadQuarters of my digital info. HPI library got me inspired and I'm trying to play with the idea on a smaller scale for myse…☆23Nov 22, 2023Updated 2 years ago
- Metadata reference of various programs/websites for use with exiftool☆17Feb 22, 2019Updated 7 years ago
- All in one docker-compose for Minflux RSS Reader with chinese full text search☆24Mar 13, 2021Updated 5 years ago
- Материалы к курсу по Knowledge Graphs☆23Aug 4, 2025Updated last year
- Unofficial Node client for Emfit QS☆12Oct 26, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Links to export personal data from popular internet services☆22Feb 4, 2024Updated 2 years ago
- Script to backup Last.fm scrobbles☆14Oct 31, 2021Updated 5 years ago
- Gets your upvoted posts from Hacker News and imports them to raindrop.io☆28May 19, 2026Updated 5 months ago
- Observe the behavior of your species in the tank - simple test framework for fish☆15Mar 7, 2015Updated 11 years ago
- ☆20Jan 4, 2021Updated 5 years ago
- SPTCR: curated repository of scientific papers on cryonics☆16Apr 13, 2025Updated last year
- A package for programmatically creating jump shortcuts in org-mode.☆27Feb 9, 2025Updated last year