-
HOL Public
Forked from HOL-Theorem-Prover/HOLCanonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Standard ML Other UpdatedJun 15, 2024 -
-
TVM-MLIR Public
Forked from BBuf/tvm_mlir_learncompiler learning resources collect.
Python UpdatedMay 27, 2024 -
law-tools-one Public
A Spider Tools for law workers
JavaScript GNU General Public License v3.0 UpdatedJan 24, 2024 -
-
gpt-fast Public
Forked from pytorch-labs/gpt-fastSimple and efficient pytorch-native transformer text generation in <1000 LOC of python.
Python BSD 3-Clause "New" or "Revised" License UpdatedDec 12, 2023 -
ant-design Public
Forked from ant-design/ant-designAn enterprise-class UI design language and React UI library
TypeScript MIT License UpdatedNov 2, 2023 -
nndeploy Public
Forked from nndeploy/nndeploynndeploy是一款最新上线的支持多平台、简单易用、高性能的机器学习部署框架,一套实现可在多端(云、边、端)完成模型的高性能部署。
C++ UpdatedSep 12, 2023 -
cutlass Public
Forked from NVIDIA/cutlassCUDA Templates for Linear Algebra Subroutines
C++ Other UpdatedSep 11, 2023 -
GameDevBooksSet Public
Find main Book about your need
-
BuildSoup Public
This project is for some complex build project
-
starrocks Public
Forked from StarRocks/starrocksStarRocks is a next-gen sub-second MPP database for full analytics scenarios, including multi-dimensional analytics, real-time analytics and ad-hoc query.
Java Apache License 2.0 UpdatedFeb 28, 2023 -
zeno Public
Forked from zenustech/zenoZEn NOde system - a simulation & rendering engine in nodes
C++ Mozilla Public License 2.0 UpdatedFeb 24, 2023 -
pgdoc-cn Public
Forked from postgres-cn/pgdoc-cnPostgreSQL manual Chinese translation by China PostgreSQL Users Group
ASL Other UpdatedFeb 18, 2023 -
awesome-paper-guide Public
Read the Paper
-
leveldb Public
Forked from google/leveldbLevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
C++ BSD 3-Clause "New" or "Revised" License UpdatedFeb 9, 2023 -
postgres Public
Forked from cmu-db/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 UpdatedFeb 7, 2023 -
miniob Public
Forked from oceanbase/miniobMiniOB is one mini database, helping developers to learn how database works.
C++ Mulan Permissive Software License, Version 2 UpdatedJan 28, 2023 -
oasis-engine Public
Forked from galacean/engineA typescript interactive engine, support 2D, 3D, animation, physics, built on WebGL and glTF.
TypeScript MIT License UpdatedDec 13, 2022 -
-
web3startrek Public
Forked from movefuns/web3startrekMoveFuns Web3 StarTrek | 星航计划
Apache License 2.0 UpdatedOct 25, 2022 -
-
Pangu Public
Game Engine
-
CLisper Public
A Lisp Programming implement by the C
-
-
Thesis-Retrieval Public
Some Notes and summay about the siggraph paper
-
Jade-Pool Public
Relationship Databases
-
build-your-own-x Public
Forked from codecrafters-io/build-your-own-xMaster programming by recreating your favorite technologies from scratch.
UpdatedSep 7, 2022 -
risingwave Public
Forked from risingwavelabs/risingwaveRisingWave: the next-generation streaming database in the cloud.
Rust Apache License 2.0 UpdatedAug 23, 2022 -
SpongeLab Public
A project about the Lab that I have been completed or in progress
MIT License UpdatedAug 17, 2022