Lists (2)
Sort Name ascending (A-Z)
- All languages
- ASP
- ActionScript
- Assembly
- Astro
- AutoHotkey
- Awk
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Crystal
- Cython
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- FreeMarker
- GLSL
- Go
- Groovy
- HTML
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Meson
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Perl
- PostScript
- PowerShell
- Python
- R
- Rich Text Format
- RobotFramework
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Sass
- Scala
- Shell
- Smarty
- Solidity
- Stata
- Stylus
- Svelte
- Swift
- SystemVerilog
- TSQL
- TeX
- TypeScript
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wikitext
- YARA
- Zig
Starred repositories
AgentJev-0.6B - a fast 'System One' decision model for AI Agents: feed it any unstructured state (diffs, traces, logs) and structured questions, get calibrated probability distributions back in one…
MVT (Mobile Verification Toolkit) helps with conducting forensics of mobile devices in order to find signs of a potential compromise.
🔬 A curated collection of 23,000+ agent skills for empirical research across 8 social science disciplines. | 精选 23,000+ AI Agent 技能库,覆盖8大社会科学学科的实证研究。CoPaper.AI 20分钟完成一篇可复现的规范实证论文,并支持用户上传 Skills。-- …
Apple Wallet Card Skinner for iOS 18+ (No Jailbreak Required)
VLX-Seek is a device-native vision-language model that enables machines to see, understand, and reason about the visual world with high precision.
A 0.9B model for long-form transcription in 50+ languages with speaker diarization, timestamps, and acoustic event awareness
Non-autoregressive System 1 decision engine. Typed choice, score and yes/no decisions over any text in a single forward pass, in 100+ languages, with a router that picks the right checkpoint per re…
Evidence-backed use cases, patterns, prompts, and starter code for TypeSafe Jev — a System One model for fast, typed, confidence-aware decisions in software.
ARTEMIS turns natural-language instructions into reliable Android automation. It automates end-to-end workflows, captures logs, and integrates seamlessly with AI coding assistants such as Antigravi…
Ghidra is a software reverse engineering (SRE) framework
Zstandard - Fast real-time compression algorithm
国家反诈AI API 转 OpenAI 兼容格式反向代理服务 || 仅学习用途
The CORE-V CVA6 is a highly configurable, 6-stage RISC-V core for both application and embedded applications. Application class configurations are capable of booting Linux.
Titan Core - Snowflake infrastructure-as-code. Provision environments, automate deploys, CI/CD. Manage RBAC, users, roles, and data access. Declarative Python Resource API. Change Management tool f…
Quantization, kernels, runtime and inference engine for mobiles, wearables, smart home and robots.
OpenTitan: Open source silicon root of trust
Automation foundation model for tiny devices: 2-bit, 8-29 MB, tool calls, structured extraction and embeddings on phones, wearables, smart homes, robots, cars and microcontrollers.
Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.
Ibex is a small 32-bit RISC-V CPU core with high-level of verification (previously known as zero-riscy)
Community plugin marketplace for Claude Cowork and Claude Code. Read-only mirror — submit plugins at clau.de/plugin-directory-submission.
Real-time, local speech-to-text with streaming ASR, speaker diarization, translation, and OpenAI/Deepgram-compatible APIs.
Apache Maka (Incubating) is a high-performance agent workspace that keeps a complete record of everything it did.
The open-source wireless research platform for ESP32.
🎙️ An intelligent voice productivity assistant that turns speech into clean text, useful actions, and structured knowledge. It helps users capture ideas, communicate naturally, automate repetitive …