Lists (12)
Stars
A base repository for a project taht includes antlr4's C++ target as an external dependency
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
😱 从源码层面，剖析挖掘互联网行业主流技术的底层实现原理，为广大开发者 “提升技术深度” 提供便利。目前开放 Spring 全家桶，Mybatis、Netty、Dubbo 框架，及 Redis、Tomcat 中间件等
Event Framework, implemented the coroutine scheduling based on IO events. Support poll, epoll, event port and kqueue.
用不同结构重写的STL库（含注释）
https://github.com/nanotee/nvim-lua-guide chinese version
The official gpt4free repository | various collection of powerful language models
Warp is a modern, Rust-based terminal with AI built in so you and your team can build great software, faster.
Lightweight, fast and reliable key/value storage engine based on Bitcask.
🌈【C#/.NET/.NET Core学习、工作、面试指南】记录、收集和总结C#/.NET/.NET Core基础知识、学习路线、开发实战、编程技巧练习、学习视频、文章、书籍、项目框架、社区组织、开发必备工具、技术前沿周刊、常见面试题、面试须知、简历模板、人才招聘、以及自己在学习和工作中的一些微薄见解。希望能和大家一起学习，共同进步。如果本知识库能为您提供帮助，别忘了给予支持哦(关注、点赞、…
为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…
Here is a more detailed file about the BMC encoding of commonly used NonFSMActors in SR, and the experimental problems and results covered in the paper Bounded Model Checking of Synchronous Reactiv…
A collection of out-of-tree Clang plugins for teaching and learning
A configuration as code language with rich validation and tooling.
The efficient SMT-based context-bounded model checker (ESBMC)
你管这破玩意叫操作系统源码 — 像小说一样品读 Linux 0.11 核心代码
A complete computer science study plan to become a software engineer.
A collection of out-of-tree LLVM passes for teaching and learning