-
helix Public
Forked from helix-editor/helixA post-modern modal text editor.
Rust Mozilla Public License 2.0 UpdatedMay 30, 2025 -
-
phasar Public
Forked from secure-software-engineering/phasarA LLVM-based static analysis framework.
C++ Other UpdatedApr 30, 2025 -
llamppl Public archive
Forked from genlm/llampplProbabilistic programming with large language models
Python UpdatedApr 16, 2025 -
llama.cpp Public archive
Forked from ggml-org/llama.cppLLM inference in C/C++
C++ MIT License UpdatedApr 4, 2025 -
symcc Public
Forked from eurecom-s3/symccSymCC: efficient compiler-based symbolic execution
C++ GNU General Public License v3.0 UpdatedMar 11, 2025 -
symcc-rt Public
Forked from eurecom-s3/symcc-rtSymCC Runtime
C++ GNU Lesser General Public License v3.0 UpdatedMar 9, 2025 -
tensorflow Public
Forked from tensorflow/tensorflowAn Open Source Machine Learning Framework for Everyone
C++ Apache License 2.0 UpdatedMar 3, 2025 -
serving Public
Forked from tensorflow/servingA flexible, high-performance serving system for machine learning models
C++ Apache License 2.0 UpdatedMar 2, 2025 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedFeb 9, 2025 -
-
-
oss-fuzz Public
Forked from google/oss-fuzzOSS-Fuzz - continuous fuzzing for open source software.
Shell Apache License 2.0 UpdatedFeb 3, 2025 -
-
-
litellm Public
Forked from BerriAI/litellmPython SDK, Proxy Server (LLM Gateway) to call 100+ LLM APIs in OpenAI format - [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthropic, Sagemaker, HuggingFace, Replicate, Groq]
Python Other UpdatedNov 23, 2024 -
verismo Public
Forked from microsoft/verismoA formally verified security module for AMD confidential VMs
Rust MIT License UpdatedOct 29, 2024 -
tab-tree-plus-plus Public
Forked from gaoliang/tab-treeA tree view of your browser tabs
-
mimid Public archive
Forked from https://github.com/vrthra/mimid
Jupyter Notebook Other UpdatedJul 28, 2024 -
Alexandria Public archive
Forked from btpf/AlexandriaA minimalistic cross-platform eBook reader built with Tauri, Epub.js, and Typescript
-
python-afl Public archive
Forked from jwilk/python-aflAmerican Fuzzy Lop fork server and instrumentation for pure-Python code
Python MIT License UpdatedJun 26, 2024 -
webkit2gtk-rs Public archive
Forked from tauri-apps/webkit2gtk-rsWebKit2 bindings and wrappers for Rust
Rust MIT License UpdatedMay 4, 2024 -
javascriptcore-rs Public archive
Forked from tauri-apps/javascriptcore-rsJavaScriptCore bindings and wrappers for Rust
Rust MIT License UpdatedMay 4, 2024 -
-
tencent-sandbox Public
Forked from empty-233/tencent-sandboxWindows sandbox 腾讯全家桶沙盒配置
PowerShell UpdatedMar 26, 2024 -
-
KLEE Symbolic Execution Engine
C++ Other UpdatedDec 4, 2023 -
differential-datalog Public
Forked from vmware-archive/differential-datalogDDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
Java MIT License UpdatedJul 7, 2023 -
chup Public archive
My incremental backup tool with cloud support and end-to-end encryption
Python MIT License UpdatedJun 13, 2023 -
{{ message }}