☆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
- v2ex iOS 客户端☆14Mar 24, 2016Updated 10 years ago
- Qt/C++ library wrapping libwayland☆12Oct 9, 2024Updated 2 years ago
- An EFI application to play Bad Apple☆10Dec 28, 2021Updated 4 years ago
- An AI agent operating your phone to be your assitant.☆16Oct 17, 2026Updated last week
- 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 GUI for watching Leela Zero self train☆45Apr 18, 2020Updated 6 years ago
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking☆14Feb 9, 2026Updated 8 months ago
- An example app with a Today Widget☆12Jul 7, 2014Updated 12 years ago
- 让数据分析师可以有比Excel更好的使用体验 a spreadsheet component to make data analysis easier☆10Jan 3, 2020Updated 6 years ago
- A port of the EGL API to Mac OS X (OpenGL) and iOS (OpenGL ES 1 & 2)☆14Oct 25, 2014Updated 12 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 7 months ago
- A simple contract for migrating from an old ERC20 token to a new ERC20 token.☆37Jan 23, 2022Updated 4 years ago
- Phare is a LLM benchmark that evaluates models across key AI security & safety dimensions☆13Dec 11, 2025Updated 10 months ago
- Code powering the π-Base☆13Jul 7, 2026Updated 3 months 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.
- Alipay SDK for the Go programming language☆11Dec 12, 2018Updated 7 years ago
- 诗词碎片：随手打卡背古诗，记忆曲线轻松背☆13Jun 22, 2022Updated 4 years ago
- Kombilo - a go database program☆31Oct 1, 2023Updated 3 years ago
- 爬取、导出个人有道云笔记内容☆13Oct 8, 2021Updated 5 years ago
- 公开新闻预测A股行业板块动向☆12Jun 1, 2019Updated 7 years ago
- 阿里云盘 Go SDK☆34May 19, 2023Updated 3 years ago
- HDMI decoder and LED matrix controller on a Spartan-6 FPGA☆14Feb 15, 2015Updated 11 years ago
- A Debian chroot setup to compile xnu, and the rest of darwin-on-arm☆15May 9, 2014Updated 12 years ago
- Typecho 主题 怀旧的 Windows 95☆10Nov 30, 2019Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- easily-table☆11Feb 19, 2022Updated 4 years ago
- Golang library to access IBM X-Force Exchange☆12Mar 22, 2016Updated 10 years ago
- Julia implementation for Python Restrain JIT☆22Mar 3, 2021Updated 5 years ago
- 婚礼请柬微信小程序开发☆12Aug 8, 2018Updated 8 years ago
- LLM-driven proof search on Erdős problems (2 solutions accepted on erdosproblems.com)☆17Apr 21, 2026Updated 6 months ago
- GitHub star history graph☆13Sep 29, 2026Updated last month
- 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
- ☆10Feb 6, 2025Updated last year
- 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
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Smart Contracts for the Across Bridge Protocol.☆12Apr 7, 2023Updated 3 years ago
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- treble-virus. Infects your Nokia 8 with Project Treble.☆14May 1, 2022Updated 4 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago