☆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
- 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
- bladeRF driver for SDR#☆11Oct 16, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A userspace filesystem backing by Apache OpenDAL.☆36Jan 8, 2026Updated 4 months ago
- Follow the Wisdom of the Crowd: Effective Text Generation via Minimum Bayes Risk Decoding☆20Nov 16, 2022Updated 3 years ago
- Waveform sound playground application for Windows, written in VC++. Generating waveform from specified frequency. FFT analyzer up to 65 k…☆11Mar 11, 2026Updated 2 months ago
- Bare metal game using EDK2.☆14Jan 19, 2023Updated 3 years ago
- Rockstar interpreter in OCaml☆15Aug 6, 2018Updated 7 years ago
- 中文短文本在线聚类☆11Nov 24, 2024Updated last year
- 爬取、导出个人有道云笔记内容☆13Oct 8, 2021Updated 4 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- 婚礼请柬微信小程序开发☆12Aug 8, 2018Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆10Oct 11, 2022Updated 3 years ago
- Julia implementation for Python Restrain JIT☆22Mar 3, 2021Updated 5 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 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 2 years ago
- ☆15Jun 2, 2022Updated 3 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Repository for opt-out requests.☆10Mar 25, 2024Updated 2 years ago
- Spammers Go Away ! 用高大上的方法屏蔽垃圾评论 (for typecho)☆21Jan 18, 2014Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- Some Lean proofs☆29Updated this week
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆16Apr 29, 2026Updated 3 weeks ago
- crack login and pass☆13Oct 15, 2018Updated 7 years ago
- Linear algebra utilities for Python☆13Oct 28, 2025Updated 6 months ago
- easily-table☆11Feb 19, 2022Updated 4 years ago
- 高性能、低资源开销的 relay/proxy 工具☆13May 27, 2024Updated last year
- 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.
- Latest Evaluation Toolkit (LatestEval). Assessing the language models with latest, uncontaminated materials.☆29Feb 17, 2025Updated last year
- Formal geometric problem solver based on FormalGeo.☆18Apr 18, 2024Updated 2 years ago
- Oneko in Cocoa (Neko for Mac OS X)☆18May 1, 2018Updated 8 years ago
- Scratchpad/Chain-of-Thought Prompts☆12Jun 6, 2022Updated 3 years ago
- Record videos of your simulators from the mac menu bar☆10Dec 7, 2022Updated 3 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- 状态机学习☆14May 8, 2018Updated 8 years ago