Stars
- All languages
- AutoIt
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Coq
- Dockerfile
- Erlang
- Filebench WML
- GLSL
- Go
- HLSL
- HTML
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Lua
- MATLAB
- Makefile
- Markdown
- OCaml
- PHP
- Perl
- PowerShell
- Python
- Raku
- Rocq Prover
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- ShaderLab
- Shell
- Solidity
- TeX
- TypeScript
Open Lakehouse Format for Multimodal AI. Convert from Parquet in 2 lines of code for 100x faster random access, vector index, and data versioning. Compatible with Pandas, DuckDB, Polars, Pyarrow, a…
chDB is an in-process OLAP SQL Engine 🚀 powered by ClickHouse
Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.
🤱🏻 Turn any webpage into a desktop app with one command.
数据库测试资料 This repo is a collection of resources on testing database systems
A list of learning materials to understand databases internals
DuckDB is an analytical in-process SQL database management system
Symbolic PathFinder
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
File system and storage benchmark that uses a custom language to generate a large variety of workloads.
yzhou359 / MakeItTalk
Forked from adobe-research/MakeItTalkA library that provides regular expression patterns. If you hate to write regular expressions, then expynent can help you.
Hypothesis extension to allow generating strings based on regex
FxMark: Filesystem Multicore Scalability Benchmark
Deprecated. Use https://github.com/SonarSource/sonarqube-scan-action instead.
Rapid is a modern Go property-based testing library
A curated list of awesome Go frameworks, libraries and software