☆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:
- 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.☆15Jun 26, 2020Updated 5 years ago
- BigPipe implementation in Magento☆32Nov 14, 2013Updated 12 years ago
- Lightweight wrapper around php-resque for Magento CE☆17Feb 1, 2019Updated 7 years ago
- Follow the Wisdom of the Crowd: Effective Text Generation via Minimum Bayes Risk Decoding☆20Nov 16, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 让数据分析师可以有比Excel更好的使用体验 a spreadsheet component to make data analysis easier☆10Jan 3, 2020Updated 6 years ago
- 诗词碎片：随手打卡背古诗，记忆曲线轻松背☆13Jun 22, 2022Updated 3 years ago
- 爬取、导出个人有道云笔记内容☆13Oct 8, 2021Updated 4 years ago
- ECStore Pro - Laravel 微信网店微服务框架☆15Oct 11, 2017Updated 8 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- Kombilo - a go database program☆32Oct 1, 2023Updated 2 years ago
- GitHub star history graph☆12Jan 29, 2026Updated 4 months ago
- ☆19Jan 2, 2022Updated 4 years ago
- Quicklook plugin for .gradle files☆12Feb 14, 2015Updated 11 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.
- 激活APP的“设备管理器”权限，增加APP的生存能力☆11Feb 28, 2015Updated 11 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- stock trading strategy system☆10Jun 14, 2023Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 3 years ago
- 电子规范管理系统：基于golang go语言（beego框架），任意上传电子规范，进行查阅。特色是根据有效版本数据库进行比对，给予标识。对标系统：对报告中的规范名称进行标注规范编号和有效版本年份，免去了人工核对规范号和版本的麻烦。已经集成到engineercms中。☆17Dec 1, 2018Updated 7 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Repository for opt-out requests.☆10Mar 25, 2024Updated 2 years ago
- SSL certificate chain resolver☆11May 2, 2016Updated 10 years ago
- Spammers Go Away ! 用高大上的方法屏蔽垃圾评论 (for typecho)☆21Jan 18, 2014Updated 12 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
- A Comprehensive survey on business use cases of AI that help them thrive in the digital economy☆13Oct 7, 2020Updated 5 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
- Pythonic社区 - written in Python using Django with V2EX style☆32Jan 17, 2014Updated 12 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
- Some Lean proofs☆29Updated this week
- 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.
- crack login and pass☆13Oct 15, 2018Updated 7 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- Unofficial copy of GSview 5.0☆11Jun 7, 2019Updated 7 years ago
- Magento module to log untranslated strings☆26Apr 5, 2018Updated 8 years ago
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆75Apr 20, 2026Updated last month
- Strategy backtester for Uniswap V3.☆10Dec 1, 2021Updated 4 years ago
- Formal geometric problem solver based on FormalGeo.☆18Apr 18, 2024Updated 2 years ago