编程语言
编程语言、编译器与解释器
共 17174 个源码项目slack-bot
Ready to use Slack bot for lazy developers: start Jenkins jobs, watch Jira tickets, watch pull requests with AI support...
stryker4s
Mutation testing for Scala
tls-channel
A Java library that implements a ByteChannel interface over SSLEngine, enabling easy-to-use (socket-like) TLS for Java applications.
GeoCoq
A formalization of geometry in Coq based on Tarski's axiom system
PdfiumLib
PDF VCL Control using PDFium
V8
Embedded JavaScript Engine for R
arangodb-java-driver
The official ArangoDB Java driver.
clojureVSCode
Clojure support for Visual Studio Code
csvlint
library and command line tool that validates a CSV file
fetch
A ClojureScript library for Client/Server interaction ⛺
flowsynth
a network packet capture compiler
godbg
Go implementation of the Rust `dbg` macro
jscert
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
ocaml-vdom
Elm architecture and (V)DOM for OCaml
pythonping
A simple way to ping in Python
typex
[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.
wallet-kit
The first choice to connect all wallets on Sui blockchain
wasmbrowsertest
Run WASM tests inside your browser
zua
An implementation of Lua 5.1 in Zig, for learning purposes
Quantum-NC
Microsoft Quantum Computing Libraries for noncommercial use
Sudo-Productivity
Boost your "productivity" to the max! A fun project made for slackers by slackers.
apophenia
A C library for statistical and scientific computing
finishing_moves
Small, focused, awesome methods added to core Ruby classes. Home of the endlessly useful nil_chain.
licensor
write licenses to stdout
第 367 / 716 页，共 17174 个项目