-
postgres Public
Forked from postgres/postgresMirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…
C Other UpdatedJun 18, 2024 -
-
-
-
Tai-e-assignments Public
Forked from pascal-lab/Tai-e-assignmentsTai-e assignments for static program analysis
Java GNU Lesser General Public License v3.0 UpdatedFeb 9, 2024 -
PL-Compiler-Resource Public
Forked from shining1984/PL-Compiler-Resource程序语言与编译技术相关资料(持续更新中)
Creative Commons Attribution Share Alike 4.0 International UpdatedJan 29, 2024 -
eleet_camel Public
Forked from theteachr/eleet_camelCollection of solutions to LeetCode problems (in OCaml)
OCaml MIT License UpdatedDec 19, 2023 -
hw00-intro-base Public
Forked from CIS-566-Fall-2023/hw00-intro-baseA brief intro to the world of WebGL
TypeScript UpdatedAug 29, 2023 -
Project0-Getting-Started Public
Forked from CIS565-Fall-2023/Project0-Getting-StartedC++ UpdatedAug 22, 2023 -
500lines Public
Forked from aosabook/500lines500 Lines or Less
JavaScript Other UpdatedAug 19, 2023 -
cpp-cheat-sheet Public
Forked from gibsjose/cpp-cheat-sheetC++ Syntax, Data Structures, and Algorithms Cheat Sheet
C++ UpdatedAug 5, 2023 -
gdown Public
Forked from wkentaro/gdownDownload a large file from Google Drive (curl/wget fails because of the security notice).
Python MIT License UpdatedApr 22, 2023 -
WhatWeb Public
Forked from urbanadventurer/WhatWebNext generation web scanner
Ruby GNU General Public License v2.0 UpdatedApr 10, 2023 -
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…
Other UpdatedApr 1, 2023 -
learnhaskell Public
Forked from bitemyapp/learnhaskellLearn Haskell
Makefile Creative Commons Zero v1.0 Universal UpdatedMar 6, 2023 -
raytracing.github.io Public
Forked from RayTracing/raytracing.github.ioMain Web Site (Online Books)
HTML Creative Commons Zero v1.0 Universal UpdatedMar 1, 2023 -
awesome-distributed-system-projects Public
Forked from roma-glushko/awesome-distributed-system-projects🚀 List of distributed system projects for inspiration and learning to build distributed services from real world examples
UpdatedJan 8, 2023 -
-
news-crawl Public
Forked from commoncrawl/news-crawlNews crawling with StormCrawler - stores content as WARC
Java Apache License 2.0 UpdatedNov 16, 2022 -
Software-Analysis-PAVT Public
Forked from codersguild/Software-Analysis-PAVTProgram Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
Boogie Apache License 2.0 UpdatedOct 11, 2022 -
ctf-wiki Public
Forked from ctf-wiki/ctf-wikiCome and join us, we need you!
Python Other UpdatedAug 10, 2022 -
tinyrenderer Public
Forked from ssloy/tinyrendererA brief computer graphics / rendering course
C++ Other UpdatedJul 23, 2022 -
dragon-book-exercise-answers Public
Forked from fool2fish/dragon-book-exercise-answersCompilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理(紫龙书)第2版习题答案。
HTML UpdatedJul 5, 2022 -
home Public
Forked from hashirshoaeb/homeTemplate by Hashir Shoaib.
JavaScript GNU Lesser General Public License v3.0 UpdatedApr 3, 2022 -
graphics-workshop Public
Forked from ekzhang/graphics-workshopLearn computer graphics by writing GPU shaders!
GLSL MIT License UpdatedOct 25, 2021 -
understanding-clang-llvm Public
Forked from Machiry/understanding-clang-llvmRepository for understanding and writing LLVM passes.
C++ BSD 2-Clause "Simplified" License UpdatedJul 29, 2019