PAthological QUpath Obsession - QuPath and Python conversations
- digital-pathology
- qupath
- python
Repository Index
47,133 repositories indexed
145–168 of 295 · Most stars
XPath/XQuery 3.1 interpreter for Pascal with compatibility modes for XPath 2.0/XQuery 1.0/3.0, custom and JSONiq extensions, pattern matching, XML/HTML/JSON parsers and classes for HTTP/S requests
- xpath
- xquery
- pascal
- html
Git super project for PySide
- python
- qt
- pyside
- qtforpython
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Persistent sorted maps and sets with log-time rank queries
A mysqldump anonymizer
- mysqldump
- anonymizer
- database-anonymizer
- rgpd
Complete SQLite API translation and simple wrapper for Delphi and FreePascal
Delphi implementation of ZeroMQ Majordomo protocol and CZMQ high level binding
OCaml bindings to the SQLite3 database
Simple JMeter performance tests API for python
Dynamic library delivery tools for SBCL.
A mechanisation of Wasm in Rocq
- webassembly
- wasm
- coq
- rocq-prover
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
Simple I/O event notification library wirtten in Golang
- epoll
- go
- networking
- event
Qwen3.5-2B with a SIMT GPU inside its weights, 45 compiled layers in front of Qwen’s own, using its Gated DeltaNet layers as registers and memory.
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
A Task-based LINQ designed to work with async/await
Quickjs FreePascal / Delphi Bindings
- quickjs
- fpc
- freepascal
- javascript
High level commands to declare a hierarchy based on packed classes
- mathcomp
- coq
- elpi
WebAssembly runtime for Crystal
- crystal
- crystal-lang
- crystal-language
- webassembly
A handy calculator, based on Rust and WebAssembly.
- webassembly
- calculator
- math
- rust
Macro based compile-time SCSS transpilation, CSS minification, and class name uniquification toolchain inspired by CSS modules.
Convert Haskell source code to Coq source code.
- coq
- haskell