yqyq-w's Stars
scallop-lang/scallop
Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229
ocaml-community/utop
Universal toplevel for OCaml
vehicle-lang/vehicle
A toolkit for enforcing logical specifications on neural networks
YueLiPicasso/OInspect
A textual inspector for OCaml runtime values
ray-project/ray
Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.
FHfirehuo/Attacking-Java-Rookie
这是一本java程序员写的必备知识积累之书
shining1984/talks
史宁宁(知乎ID:小乖他爹,CSDN ID:snsn1984)的演讲交流PPT及相关资料。
csguide-dabai/interview-guide
总结了后端面试八股文中的重点,希望能帮助各位准备互联网开发岗校招面试的同学。
HugoBlox/hugo-blox-builder
🚨 GROW YOUR AUDIENCE WITH HUGOBLOX! 🚀 HugoBlox is an easy, fast no-code website builder for researchers, entrepreneurs, data scientists, and developers. Build stunning sites in minutes. 适合研究人员、企业家、数据科学家和开发者的简单快速无代码网站构建器。用拖放功能、可定制模板和内置SEO工具快速创建精美网站!
IDEA-CCNL/Fengshenbang-LM
Fengshenbang-LM(封神榜大模型)是IDEA研究院认知计算与自然语言研究中心主导的大模型开源体系,成为中文AIGC和认知智能的基础设施。
darklang/dark
Darklang main repo, including language, backend, and infra
moonbit/MPI-exercise
现代编程**公开课课后练习
QuickChick/QuickChick
Randomized Property-Based Testing Plugin for Coq
aws/aws-encryption-sdk-dafny
AWS Encryption SDK for Dafny
cucapra/gator
Geometry types
vellvm/vellvm
The Vellvm (Verified LLVM) coq development.
bcpierce00/unison
Unison file synchronizer
PacktPublishing/Cpp-High-Performance
C++ High Performance, published by Packt
LeifAndersen/PLGradSchools
antlr/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Generative-Program-Analysis/GenSym
A high-performance, parallel, compilation-based symbolic execution engine
TiarkRompf/reachability
youngyangyang04/KVstorageBaseRaft-cpp
【代码随想录知识星球】项目分享-基于Raft的k-v存储数据库🔥
DistSysCorp/jobs
distributed system, db, storage, computing jobs hub
lotusdblabs/lotusdb
Most advanced key-value database written in Go, extremely fast, compatible with LSM tree and B+ tree.
rosedblabs/rosedb
Lightweight, fast and reliable key/value storage engine based on Bitcask.
cleardusk/3DDFA_V2
The official PyTorch implementation of Towards Fast, Accurate and Stable 3D Dense Face Alignment, ECCV 2020.
jmmartinez/easy-just-in-time
LLVM Optimization to extract a function, embedded in its intermediate representation in the binary, and execute it using the LLVM Just-In-Time compiler.
cis5710/cis5710-homework
Homework assignments for CIS 4710/5710
joaoleal/CppADCodeGen
Source Code Generation for Automatic Differentiation using Operator Overloading