☆26Dec 29, 2020Updated 5 years ago
Alternatives and similar repositories for BrikoCorpus
Users that are interested in BrikoCorpus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 6 years ago
- Crawl US stock data and put them on GitHub☆12Dec 14, 2016Updated 9 years ago
- v2ex iOS 客户端☆14Mar 24, 2016Updated 10 years ago
- GitHub issues as a blog with comment feature, place to publish and/or relay contents, and open discussion forum.☆15Aug 4, 2026Updated 2 months ago
- demoing Virtualization.framework changes in macOS 12 beta☆17Jun 30, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- yet another K-V store☆10Mar 2, 2018Updated 8 years ago
- 让数据分析师可以有比Excel更好的使用体验 a spreadsheet component to make data analysis easier☆10Jan 3, 2020Updated 6 years ago
- bladeRF driver for SDR#☆11Oct 16, 2018Updated 7 years ago
- Transfer All of Your Evernote data Into Other Applications☆38Dec 24, 2016Updated 9 years ago
- Reproduce matlab editor behavior (e.g. run functionality)☆32Nov 19, 2021Updated 4 years ago
- HDMI decoder and LED matrix controller on a Spartan-6 FPGA☆14Feb 15, 2015Updated 11 years ago
- ☆19Sep 18, 2026Updated 3 weeks ago
- Rockstar interpreter in OCaml☆15Aug 6, 2018Updated 8 years ago
- GitHub star history graph☆13Sep 29, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 诗词碎片：随手打卡背古诗，记忆曲线轻松背☆13Jun 22, 2022Updated 4 years ago
- 中文短文本在线聚类☆11Aug 5, 2026Updated 2 months ago
- 阿里云盘 Go SDK☆34May 19, 2023Updated 3 years ago
- Quicklook plugin for .gradle files☆12Feb 14, 2015Updated 11 years ago
- A Debian chroot setup to compile xnu, and the rest of darwin-on-arm☆15May 9, 2014Updated 12 years ago
- 爬取、导出个人有道云笔记内容☆13Oct 8, 2021Updated 5 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- 激活APP的“设备管理器”权限，增加APP的生存能力☆11Feb 28, 2015Updated 11 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Compile QOR templates into binary with go-bindata☆19May 12, 2021Updated 5 years ago
- a flask web application that clone Pocket(read it later)☆10Jul 9, 2014Updated 12 years ago
- Manage Age of Empires 2 Definitive Replays☆37Sep 7, 2025Updated last year
- Sphinx sources for the Model View Controller notes.☆37Apr 15, 2023Updated 3 years ago
- Let's rob the fat guys, and publish everything into feeds.☆11Jun 1, 2015Updated 11 years ago
- stock trading strategy system☆10Jun 14, 2023Updated 3 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆11Dec 1, 2023Updated 2 years ago
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A python library for checking if an email is issued by an academic institution. Useful for granting discounts, etc to academic users.☆15Feb 16, 2016Updated 10 years ago
- Django TiDB backends☆16Dec 29, 2021Updated 4 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- SSL certificate chain resolver☆11May 2, 2016Updated 10 years ago
- Frontend interface for the across bridge protocol.☆10Dec 26, 2023Updated 2 years ago
- The dataset contains over 18,000 Chinese question-answer pairs extracted from 281 episodes of the Chinese podcast "JinJinLeDao".☆182Apr 16, 2023Updated 3 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