roy-ly Goto Github PK

avvvatars

Beautifully crafted unique avatar placeholder for your next react project

bank_interview

:bank: 银行笔试面试经验分享及资料分享（help you pass the bank interview, and get a amazing bank offer!）

betterday

betterday项目是基于SpringBoot+Vue前后端分离的个人日常系统，系统目前有三大功能模块：习惯打卡、日程管理、团队管理。

betterday-web

betterday项目是基于SpringBoot+Vue前后端分离的个人日常系统，系统目前有三大功能模块：习惯打卡、日程管理、团队管理。

bolo-solo

🍍Bolo菠萝博客 专为程序员设计的精致Java博客系统 | 🎸基于Solo深度定制 | ❤️完善文档轻松安装，贴心的技术支持 | 免登录评论 | 邮件/微信提醒 | 自定义图床 | 备案模式 | ✨精致主题持续更新 | 一键备份 | 防火墙 | 评论过滤 | 独立分类 | 文章与GitHub同步 | ✅安装太轻松！支持 Tomcat Docker 宝塔面板 | 支持Windows Linux MacOS Web容器 | 支持ARM处理器 X86/64处理器 | 🚚支持从Solo轻松迁移

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

cadical

CaDiCaL SAT Solver

clash.net

ClashDotNetFramework已经删库，Fork 最后一版

cqg

cryptomator

Multi-platform transparent client-side encryption of your files in the cloud

cryptominisat

An advanced SAT solver

cryptosmt

An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.

differentialtrailsearch

ecapture

ecapture是一款无需CA证书，就可以进行HTTPS通讯明文抓包的工具。

entrycode

fingerboard

给机械键盘添加指纹识别功能，这是Arduino固件的代码

lanlaninterview

此仓库将包含各大银行的基本介绍，笔试面试特点，发现这个宝库就离上岸不远了，哼

mygitremoteproject

myGit远程项目

qndxx_batch_study

为多个用户批量观看青年大学习最新一期（广东地区适用，其余地区自行测试）

speechgpt

SpeechGPT is a web application that enables you to converse with ChatGPT.

spring-security-jwt

使用 Spring Boot + Spring Security + JWT 实现用户登录验证示列，包含权限管理和 Token 刷新功能、心跳机制。

sql-translator

SQL Translator is a tool for converting natural language queries into SQL code using artificial intelligence. This project is 100% free and open source.

st_diff_m

stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

stuhealth

Not the first nor the last CLI helper of JNU's student daily health check-in.

stuhealth-checkin

stuhealth-validate-server-docker

trafficmonitor

这是一个用于显示当前网速、CPU及内存利用率的桌面悬浮窗软件，并支持任务栏显示，支持更换皮肤。

zaobao

每日时报，以前端技术体系为主要分享课题。根据：文章、工具、新闻、视频几大板块作为主要分类。