3401ijk Goto Github PK
Type: User
Type: User
ARMORY Adversarial Robustness Evaluation Test Bed
Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events
Compiler infrastructure and toolchain library for WebAssembly
Cap'n Proto serialization/RPC system - core tools and C++ library
Cap'n Proto for Rust
Coz: Causal Profiling
WebAssembly version of DuckDB
A new eBPF verifier, using abstract interpretation
Rest and review
FoundationDB - the open source, distributed, transactional key-value store
Flexible and performant GEMM kernels in Julia
a language for fast, portable data-parallel computation
HOT - Height Optimized Trie
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Lean 4 programming language and theorem prover
Git mirror of https://isabelle.in.tum.de/repos/isabelle
Apache Parquet
Poplar libraries
rust wrapper for rocksdb
Succinct Data Structure Library 2.0
High performance server-side application framework
Simple Binary Encoding (SBE) - High Performance Message Codec
the champagne of beta embedded databases
Detecting Logic Bugs in DBMS
Enabling queries on compressed data.
A RocksDB compatible KV storage engine with better performance
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.