Sealbook / Open source / Learning resources & lists

pascal-lab/Tai-e-assignments

Tai-e assignments for static program analysis

educationjavaprogram-analysisstatic-analysis

GitHub ↗Website ↗

License & maintenance

LGPL-3.0 is a copyleft license: products that include or modify it may have to publish their code.

Last code push 13 months ago.

Similar projects

	Repository	Stars	Language	License	Activity
1	freeCodeCamp/freeCodeCampfreeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.	★ 457.4k	TypeScript	BSD-3-Clause	Active
2	EbookFoundation/free-programming-books:books: Freely available programming books	★ 399.5k	Python	CC-BY-4.0	Active
3	TheAlgorithms/PythonAll Algorithms implemented in Python	★ 225.4k	Python	MIT	Active
4	DigitalPlatDev/FreeDomainFree domain registration and practical DNS learning resources for everyone.	★ 204.8k	Markdown	AGPL-3.0	Active
5	CyC2018/CS-Notes:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计	★ 186.3k	—	—	Stale
6	getify/You-Dont-Know-JSA book series (2 published editions) on the JS language.	★ 184.8k	—	Other	Slowing
7	Snailclimb/JavaGuideJava 面试 & 后端通用面试指南，覆盖计算机基础、数据库、分布式、高并发、系统设计与 AI 应用开发	★ 159.1k	JavaScript	Apache-2.0	Active
8	krahets/hello-algo《Hello 算法》：动画图解、一键运行的数据结构与算法教程。支持简中、繁中、English、日本語，提供 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 等代码实现	★ 130.8k	Java	Other	Active