Lists (10)
Sort Name ascending (A-Z)
- All languages
- Agda
- Assembly
- Batchfile
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Coq
- Cuda
- Cython
- Dafny
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- F#
- Go
- HCL
- HTML
- Haskell
- HolyC
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KiCad Layout
- Koka
- Kotlin
- Lean
- Liquid
- Lua
- Makefile
- Mercury
- Nim
- Nix
- OCaml
- PHP
- Prolog
- Python
- QML
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Sage
- Sail
- Scala
- Scheme
- Shell
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- Tree-sitter Query
- TypeScript
- VBA
- Vala
- Verilog
- Zig
Starred repositories
DeepAudit:人人拥有的 AI 黑客战队,让漏洞挖掘触手可及。国内首个开源的代码漏洞挖掘多智能体系统。小白一键部署运行,自主协作审计 + 自动化沙箱 PoC 验证。支持 Ollama 私有部署 ,一键生成报告。支持中转站。让安全不再昂贵,让审计不再复杂。
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Use https://github.com/mozsearch/ipdl_parser/ instead
Mozilla code search website. (Please file bugs in bugzilla at https://mzl.la/2YtXmoN)
The open source server code for the BitCraft MMORPG
Browser automation CLI for AI agents
From the team behind Gatsby, Mastra is a framework for building AI-powered applications and agents with a modern TypeScript stack.
Best and simplest tool for website change detection, web page monitoring, and website change alerts. Perfect for tracking content changes, price drops, restock alerts, and website defacement monito…
Mealie is a self hosted recipe manager and meal planner with a RestAPI backend and a reactive frontend application built in Vue for a pleasant user experience for the whole family. Easily add recip…
A build-time information stored in your rust project.(binary,lib,cdylib,dylib,wasm)
Lock-free MPSC channel in Zig achieving 50+ billion messages/second via ring-decomposed architecture
A native desktop charting platform for crypto markets
Expose your local web server to the internet with a public URL.
Check if an email address exists without sending any email, written in Rust. Comes with a ⚙️ HTTP backend.
The JavaScript / Wasm runtime that powers Cloudflare Workers
A free cross-platform game engine focusing on fast prototyping and having fun
Production-ready implementation of InvisPose - a revolutionary WiFi-based dense human pose estimation system that enables real-time full-body tracking through walls using commodity mesh routers
🔥🔥🔥 Open-source Jira, Linear, Monday, and ClickUp alternative. Plane is a modern project management platform to manage tasks, sprints, docs, and triage.
Tonbo is an embedded database for serverless and edge runtimes.
The leading workflow orchestration platform. Run stateful step functions and AI workflows on serverless, servers, or the edge.
The Single Sign-On Multi-Factor portal for web apps, now OpenID Certified™
A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.
CV/resume generator for academics and engineers, YAML to PDF
Make beautiful isometric infrastructure diagrams