编程语言
编程语言、编译器与解释器
共 14294 个源码项目qml
QML: Quantum Machine Learning
rust-zookeeper
Pure Rust library for Apache ZooKeeper built on MIO
slack-bot
Ready to use Slack bot for lazy developers: start Jenkins jobs, watch Jira tickets, watch pull requests with AI support...
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
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.
wasmbrowsertest
Run WASM tests inside your browser
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
maxima-jupyter
A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)
oq
A performant, and portable jq wrapper to facilitate the consumption and output of formats other than JSON; using jq filters to transform the data.
第 306 / 596 页，共 14294 个项目