protobuf implementation for Lean 4
☆14Sep 1, 2026Updated last month
Alternatives and similar repositories for protobuf
Users that are interested in protobuf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- terraria packet serializer and partial protocol implement☆12Feb 20, 2023Updated 3 years ago
- 基于 Nonebot2 和 go-cqhttp 的 Terraria TShock QQ 机器人☆15Mar 7, 2023Updated 3 years ago
- Terraria TShock QQ 机器人的终极解决方案☆14Jul 22, 2023Updated 3 years ago
- Single-process multi-world Terraria server runtime built on OTAPI USP—an alternative to proxy stacks, with per-instance consoles, hot-rel…☆23Updated this week
- A Terraria utility client, a continuation of chairclr/TerraAngel☆28Updated this week
- 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.
- Declare the infrastructure☆13Oct 11, 2026Updated 2 weeks ago
- 第三方TShock管理器, 提供一些便利功能 - Third-party TShock manager, providing some handy features, with a simple script editor of Scratch type built in☆29Jul 23, 2022Updated 4 years ago
- SAT Competition 2024☆11Aug 28, 2024Updated 2 years ago
- This is Phyne: a Rust crate for indel-aware phylogenetics☆13Oct 20, 2026Updated last week
- Next generation MCMC samplers with automatic differentiaion and adaptive Poisson thinning☆14Sep 21, 2026Updated last month
- ☆22Jan 30, 2021Updated 5 years ago
- 2D and 3D plotting library for Processing☆14Feb 25, 2017Updated 9 years ago
- GitHub Action to Deploy SSL certificate to Aliyun Certificates Service (and use in CDN).☆17Feb 25, 2025Updated last year
- Dynamic sparse vector and matrix for julia☆16Jan 26, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Parallel, fused reducers for Lean 4☆16Oct 19, 2026Updated last week
- ☆16Jun 22, 2022Updated 4 years ago
- 福州大学校园指南☆13Oct 8, 2026Updated 2 weeks ago
- 💥基于llm的玉检测插件💥☆11Feb 10, 2025Updated last year
- 福州大学教务系统课表日历导出工具☆12Sep 1, 2026Updated last month
- ☆16May 27, 2025Updated last year
- Economy system for TShock☆12Jun 7, 2026Updated 4 months ago
- A matlab implementation for sampling log-concave distributions with polytope constraints☆19Oct 5, 2024Updated 2 years ago
- Total parser combinators library for Lean4☆10May 10, 2025Updated last year
- 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.
- Plain-text declaration export for Lean 4☆48Oct 14, 2026Updated last week
- 某位闲鱼写的TerrariaBot☆25Apr 13, 2026Updated 6 months ago
- TLMobile - 一切为了Terraria手机MOD玩家☆12Aug 5, 2025Updated last year
- Updated version of Permabuffs plugin☆14Mar 10, 2026Updated 7 months ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 8 months ago
- ☆18Oct 7, 2026Updated 2 weeks ago
- An implementation of OBC algorithm packed into a module☆10Dec 28, 2023Updated 2 years ago
- ☆23Dec 15, 2020Updated 5 years ago
- TShock插件开发中文教程☆12Sep 11, 2025Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Formalization of 2LTT in Agda☆10Oct 11, 2026Updated 2 weeks ago
- A type-safe, deeply-embedded SQL query DSL for Lean 4☆27Oct 13, 2026Updated 2 weeks ago
- Arrays that use a dynamically-scoped allocator☆26Mar 27, 2025Updated last year
- hopsy - Highly Optimized Polytope Sampling in Python☆20Oct 16, 2026Updated last week
- Provides web credibility models (Likert scale) to assign a trustworthiness score to a given website.☆11Sep 19, 2019Updated 7 years ago
- Real time and remote MCMC trace monitoring with BEASTIARY.☆21Oct 13, 2026Updated 2 weeks ago
- 「I.明體」網頁字型☆12Feb 12, 2025Updated last year