☆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 5 years ago
- Crawl US stock data and put them on GitHub☆12Dec 14, 2016Updated 9 years ago
- An EFI application to play Bad Apple☆10Dec 28, 2021Updated 4 years ago
- GitHub issues as a blog with comment feature, place to publish and/or relay contents, and open discussion forum.☆15Jun 26, 2020Updated 5 years ago
- yet another K-V store☆10Mar 2, 2018Updated 8 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.
- Fork of ldid / ldid2 from saurik git repository git://git.saurik.com/ldid.git☆14Jan 26, 2018Updated 8 years ago
- bladeRF driver for SDR#☆11Oct 16, 2018Updated 7 years ago
- Bare metal game using EDK2.☆14Jan 19, 2023Updated 3 years ago
- 让数据分析师可以有比Excel更好的使用体验 a spreadsheet component to make data analysis easier☆10Jan 3, 2020Updated 6 years ago
- 诗词碎片：随手打卡背古诗，记忆曲线轻松背☆13Jun 22, 2022Updated 3 years ago
- 中文短文本在线聚类☆11Nov 24, 2024Updated last year
- Monitoring device for my cars battery with the ability to broadcast the voltage through TheThingsNetwork using LoRaWAN☆12Jun 1, 2020Updated 5 years ago
- C Library for Reading, Writing, Editing, and Creating Minecraft Maps☆13Feb 5, 2024Updated 2 years ago
- 爬取、导出个人有道云笔记内容☆13Oct 8, 2021Updated 4 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ECStore Pro - Laravel 微信网店微服务框架☆15Oct 11, 2017Updated 8 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- Kombilo - a go database program☆32Oct 1, 2023Updated 2 years ago
- ☆24Dec 14, 2024Updated last year
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆55Updated this week
- 婚礼请柬微信小程序开发☆12Aug 8, 2018Updated 7 years ago
- GitHub star history graph☆12Jan 29, 2026Updated 2 months ago
- 激活APP的“设备管理器”权限，增加APP的生存能力☆11Feb 28, 2015Updated 11 years ago
- ☆10Oct 11, 2022Updated 3 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.
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Compile QOR templates into binary with go-bindata☆19May 12, 2021Updated 4 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- stock trading strategy system☆10Jun 14, 2023Updated 2 years ago
- baidu netdisk mcp server☆32Sep 23, 2025Updated 6 months ago
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 2 years ago
- 电子规范管理系统：基于golang go语言（beego框架），任意上传电子规范，进行查阅。特色是根据有效版本数据库进行比对，给予标识。对标系统：对报告中的规范名称进行标注规范编号和有效版本年份，免去了人工核对规范号和版本的麻烦。已经集成到engineercms中。☆17Dec 1, 2018Updated 7 years ago
- Repository for opt-out requests.☆10Mar 25, 2024Updated 2 years ago
- SSL certificate chain resolver☆11May 2, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- treble-virus. Infects your Nokia 8 with Project Treble.☆14May 1, 2022Updated 3 years ago
- A Comprehensive survey on business use cases of AI that help them thrive in the digital economy☆13Oct 7, 2020Updated 5 years ago
- The dataset contains over 18,000 Chinese question-answer pairs extracted from 281 episodes of the Chinese podcast "JinJinLeDao".☆185Apr 16, 2023Updated 2 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
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- ☆12Feb 18, 2024Updated 2 years ago
- Building a iOS Application using Apple's Core ML Framework, we will builed a Linear SVC model using sklearn library on the SMS Data, user…☆11Jun 14, 2018Updated 7 years ago