Load your graph of bookmarks and tags into a neo4j database and explore it
☆14Jan 1, 2017Updated 9 years ago
Alternatives and similar repositories for bookmark-graph
Users that are interested in bookmark-graph are comparing it to the libraries listed below
Sorting:
- ☆10Feb 21, 2022Updated 4 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- Exceptions to the ABC conjecture in Lean☆20Jan 26, 2026Updated last month
- A blockchain-based experimental currency to improve communications for Slack teams.☆12Jun 5, 2017Updated 8 years ago
- ⌛ Tiny header-only progress bar library for C++☆20Oct 30, 2018Updated 7 years ago
- Web Scraping monster.com using scrapy with JSON APIs☆10Oct 18, 2019Updated 6 years ago
- Bits and pieces missing from Apache Lucene.Net - in part ported from Java Apache Lucene and Apache Solr☆26Jun 24, 2011Updated 14 years ago
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- EmotionCircuits-LLM: A complete, reproducible framework for discovering and controlling emotion circuits in large language models.☆27Oct 20, 2025Updated 5 months ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated last year
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆16Feb 18, 2026Updated last month
- DRAT proof processor☆16Apr 8, 2023Updated 2 years ago
- Widgets on Agile contacts page can be customized. Here is a custom widget.☆12Aug 10, 2017Updated 8 years ago
- Provides multiple authentication features for Orchard CMS using OpenId, OAuth, OAuth2, and AzureAD☆21Aug 9, 2015Updated 10 years ago
- A library to create Swift Combine publishers to retrieve HealthKit data.☆11Mar 4, 2021Updated 5 years ago
- ☆10Oct 26, 2023Updated 2 years ago
- ☆13Apr 25, 2022Updated 3 years ago
- ☆15Apr 12, 2023Updated 2 years ago
- ☆13Aug 29, 2025Updated 6 months ago
- React Native alert & prompt utility☆12Sep 5, 2025Updated 6 months ago
- Iskander is an open source driver for BLDC motors, the hardware support Six step commutation and FOC, still in the experimental phase but…☆12Aug 1, 2021Updated 4 years ago
- Open-BLDC brushless motor QT simulator GUI☆15Oct 9, 2012Updated 13 years ago
- Multiple GPT agents to have brainstorms and make decisions.☆20Nov 9, 2023Updated 2 years ago
- An experimental mutual induction tactic for Lean 4.☆23Jan 12, 2026Updated 2 months ago
- ☆15May 19, 2020Updated 5 years ago
- Travaartje is an iOS app through which activities recorded on AppleWatch or iPhone can be uploaded to Strava with one click.☆12Mar 9, 2024Updated 2 years ago
- Example of combining a nodejs server with a Godot client via websockets and compiling it to Android.☆13May 29, 2021Updated 4 years ago
- Adds games from various game stores to the keypirinha catalog (currently: Steam, Epic, Windows Store, GOG, Origin, Uplay)☆15Nov 19, 2024Updated last year
- Interactive topic modeling☆24May 22, 2012Updated 13 years ago
- This project aims to find "what are the trending techs on Data Science jobs?" using NER.☆12Mar 13, 2022Updated 4 years ago
- My solutions for pwn and reversing challenges☆11Mar 18, 2018Updated 8 years ago
- This script uses an ensemble of multiple methods: RAKE, TF-IDF and Automatic Keyword Extraction to obtain top keywords in Reddit posts. P…☆12Jul 1, 2017Updated 8 years ago
- Arbitrary Cell Generator enables parametrized grid-free circuit layout creation☆17Jun 1, 2020Updated 5 years ago
- An Open Source BLDC motor speed controller which supports sensored and sensorless motors. The full schematic, code and documentation has …☆14Oct 11, 2021Updated 4 years ago
- A set of tools for editing, running and reading LTSpice from Python☆15Oct 30, 2013Updated 12 years ago
- 🧪 Simple, Тailwind CSS-based theme for Jekyll powered blogs.☆15Apr 19, 2024Updated last year
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆25Mar 10, 2026Updated last week