Casbin明日之星预选生计划-Talents for Casbin 2026 【学生报名请加QQ群：540163681】
☆41Jan 5, 2026Updated 3 months ago
Alternatives and similar repositories for casbin-Talent2026
Users that are interested in casbin-Talent2026 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- trojan一键安装 各种客户端☆11Nov 29, 2024Updated last year
- BUPT程序设计实践——DSL☆10Jan 16, 2022Updated 4 years ago
- 本项目是同济大学高级程序设计的第一次大作业——日志文件压缩大作业，内含 工程文件与报告。必须要说明的是，我上传这次作业的主要目的是抛砖引玉，以期学弟学妹在做作业的过程中少走弯路，报告内容也仅供参考，切勿全局抄袭，否则后果自负。如果认为这个工程有帮助的话，希望各位能给我点一个s…☆10Jul 16, 2020Updated 5 years ago
- Template for Makefile based SysY compiler projects.☆12Jun 16, 2022Updated 3 years ago
- 【ACG-face-alignment】ACG臉部對齊☆10Jul 30, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- What makes Paxos tick?☆11Apr 16, 2025Updated last year
- A C++ tool library☆25Mar 6, 2026Updated last month
- 莉沫酱存储！☆12Dec 21, 2024Updated last year
- 2022全国大学生计算机系统能力大赛 - 操作系统赛 - 内核实现赛道 作品☆17Apr 9, 2024Updated 2 years ago
- An easy-use coroutine lib implement by C++ coroutine and liburing☆32Jun 6, 2025Updated 10 months ago
- 🏆 最棒的开源翻译小组！招收志愿者中，有意可自荐，记得留联系方式呀~☆12Aug 26, 2020Updated 5 years ago
- PKU 编译 lab 2023 - SysY 编译器☆15Oct 17, 2023Updated 2 years ago
- A healthier theme for your eyes☆10Apr 5, 2024Updated 2 years ago
- Implementation of LDFI for Akka programs in Scala☆15Sep 27, 2018Updated 7 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.
- Tutorial on modeling with TLA+☆24Oct 7, 2025Updated 6 months ago
- A toolkit to develop distributed systems☆14Nov 20, 2022Updated 3 years ago
- CSDN博客下载助手☆30Jul 14, 2025Updated 9 months ago
- A tool for easier disposing KrkrExtract scn datas,based on Yuzusoft Games.☆13Feb 14, 2025Updated last year
- TLAi+ Benchmarks☆32Feb 6, 2026Updated 2 months ago
- A collection of course materials for Software Engineering in School of Computer Science and Technology at Tongji University. 同济大学计算机科学与技术…☆37Updated this week
- A two-phase-commit protocol for leveldb.☆26Oct 26, 2015Updated 10 years ago
- A reference architecture for differential fuzzing using a formally verified oracle☆35Jan 2, 2026Updated 3 months ago
- Contributor repository for code samples, plugins and libraries in Java for Apache Pulsar☆16Mar 17, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Unified modular arceos-hypervisor☆42Apr 8, 2026Updated 3 weeks ago
- X岛匿名版API Python库☆13Jan 30, 2023Updated 3 years ago
- GStreamer bindings for Rust☆40Updated this week
- A desktop application that provides visualization of basic algorithms and data structures. Implemented with JavaFX.☆13Sep 23, 2022Updated 3 years ago
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆11Mar 29, 2024Updated 2 years ago
- 基于 SpringBoot 的 AI BOT 对战小游戏~☆10Dec 8, 2023Updated 2 years ago
- Run TLC in cmd☆15Jan 20, 2026Updated 3 months ago
- 基于arceos unikernel的轻量组件化宏内核 starry-next, 位列支持linux app的宏内核排行榜：https://learningos.cn/oscomptest-grading , starry-next指导书：https://azure-sta…☆21Nov 26, 2025Updated 5 months ago
- TLA+ specification for the Raft consensus algorithm☆19Aug 22, 2016Updated 9 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.
- 我大学两年来的笔记，希望对大家有些些帮助（以后会持续更新）☆27May 26, 2018Updated 7 years ago
- 使用SURF+Kmeans建立的图像检索系统（CBIR）☆13May 8, 2020Updated 5 years ago
- 飞桨护航计划集训营☆20Apr 20, 2026Updated last week
- 无需预算，使用你的个人数据克隆自己——赛博飞升！Clone yourself by tuning a LLM using your own data.☆35Mar 14, 2025Updated last year
- TLA+ model checking guided testing for distributed systems☆17Feb 12, 2024Updated 2 years ago
- This is My Personal profile☆16Updated this week
- ☆31Apr 1, 2026Updated 3 weeks ago