
Highlights
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- ASL
- Assembly
- Astro
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Cairo
- Clojure
- CodeQL
- Coq
- Crystal
- Cuda
- D
- Dart
- Dockerfile
- Emacs Lisp
- Erlang
- F*
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MLIR
- Makefile
- Markdown
- OCaml
- Objective-C
- OpenQASM
- P4
- PHP
- Pawn
- Perl
- Python
- Racket
- Rich Text Format
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Sage
- Scala
- Shell
- Solidity
- Swift
- Tcl
- TeX
- TypeScript
- V
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wren
- YARA
- Zig
Configs for various testnet and mainnet configurations
CLI and sample code to interact with Solayer programs on Solana
[NeurIPS 2023] We use large language models as commonsense world model and heuristic policy within Monte-Carlo Tree Search, enabling better-reasoned decision-making for daily task planning problems.
The Movement Network is a Move-based L2 on Ethereum.
For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Mike Godfrey
此项目的POC来源为2024年以来各大威胁情报的高危漏洞复现,POC已通过nuclei或xray武器化,本项目旨在为网络安全爱好者们提供一点参考资料,可供个人研究使用,共勉
A static analysis tool for anchor rust programs.
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
View8 - Decompiles serialized V8 objects back into high-level readable code.
A high-performance inference system for large language models, designed for production environments.
Static Value-Flow Analysis Framework for Source Code
A Spotify player in the terminal with full feature parity
A toolbox for benchmarking trustworthiness of multimodal large language models (MultiTrust, NeurIPS 2024 Track Datasets and Benchmarks)
🌌 A network agnostic DHT crawler, monitor, and measurement tool that exposes timely information about DHT networks.
fuzzland / cached-eth-rpc
Forked from tonyke-bot/cached-eth-rpcA simple http server to cache specific eth rpc requests in memory.