monstache showcase to visualize open data
☆31Nov 14, 2021Updated 4 years ago
Alternatives and similar repositories for monstache-showcase
Users that are interested in monstache-showcase are comparing it to the libraries listed below
Sorting:
- Backtesting fbprophet prediction of Silver prices for 2017☆14Nov 29, 2017Updated 8 years ago
- Convert SRT file to Audacity supported Label.☆11Sep 4, 2020Updated 5 years ago
- RubyVersion | Better than RUBY_VERSION☆15Apr 7, 2023Updated 2 years ago
- A friendly nzb usenet binary download application☆10Dec 29, 2018Updated 7 years ago
- Basic Unicode support for Lean 4☆15Updated this week
- Eroge Music Quiz☆11Mar 3, 2026Updated last week
- A shareable Renovate config for Cybozu☆11Updated this week
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week
- Example notebooks of tslab (https://github.com/yunabe/tslab)☆14Apr 26, 2023Updated 2 years ago
- TypeScript implementation of ZenML parser and XML manipulation utilities☆10Feb 18, 2023Updated 3 years ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆35Mar 3, 2026Updated last week
- Full source to create a VPN service optimised for mobile phones☆67Mar 21, 2015Updated 10 years ago
- GitHub as a SNS☆10Jan 11, 2023Updated 3 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- This is a high performance stub server.☆13Sep 3, 2024Updated last year
- ☆11Jul 4, 2022Updated 3 years ago
- Example using hyperdb with webrtc swarm☆11Jul 17, 2018Updated 7 years ago
- Python interface for OrientDB binary Serialization☆10Feb 25, 2020Updated 6 years ago
- visualize link relations on scrapbox's project☆10Sep 7, 2025Updated 6 months ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆15Updated this week
- ☆11Dec 16, 2021Updated 4 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Extra badges for App Store, Product Hunt and Hatena bookmarks☆11Sep 21, 2023Updated 2 years ago
- sitemap.xml generation using lxml with support for alternates.☆13Nov 6, 2025Updated 4 months ago
- JRuby's native launcher executable☆27Oct 23, 2025Updated 4 months ago
- Embedded Linux firmware upgrade tool☆10Sep 27, 2019Updated 6 years ago
- Bash script that adds Git Version Control information into files and pushes them to GitHub, Bitbucket, or GitLab (Supported files: Bash, …☆16Jun 8, 2021Updated 4 years ago
- ☆15Apr 24, 2025Updated 10 months ago
- 「ぜんぜんわからない、俺達は雰囲気でギフハブをやっている」☆11May 22, 2020Updated 5 years ago
- ☆11Mar 3, 2026Updated last week
- Theorem Proving in Lean 4 日本語訳☆17Jan 11, 2025Updated last year
- A powerful Model Context Protocol (MCP) server that puppeteers iTerm2 terminals.☆20Feb 14, 2026Updated 3 weeks ago
- ニコニコ動画 『スナップショット検索API v2』 仕様をなるべく意識せずに利用できる Python クライアント☆11Mar 3, 2025Updated last year
- The ultimate tool for data transfer, manipulation and proxy.☆16Jan 12, 2026Updated last month
- RFC tools for creating Internet Drafts using mmark and xml2rfc via Docker☆11Feb 10, 2026Updated last month
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last month
- About Me☆11Feb 24, 2025Updated last year
- Python @retry Async☆14Feb 5, 2024Updated 2 years ago