A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.
- pdf-lib
- csharp-pdf
Repository Index
47,133 repositories indexed
145–165 of 165 · Most stars
Decimal number parser and formatter package for the Common Lisp language
- decimal-numbers
- common-lisp
- library
- parser
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
cookiestxt implement parser of cookies txt format
HAR (HTTP Archive) parser in Crystal
- har
- http-archive
- http-archive-format
- json
Styled Component for yew
Clojure-compatible threading/transformation/arrow macros for Common Lisp
Seamless Interface to Octave -- and Matlab code
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Haskell bindings to Colin Percival's scrypt implementation.
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
hnswlib.rb provides Ruby bindings for Hnswlib
- ruby
- gem
- nearest-neighbor-search
- approximate-nearest-neighbor-search
Bindings to special math functions from the Cephes library.
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
Augments Hunchentoot error pages and logs with request and session information.
- web
- hunchentoot
- lisp
- common-lisp
JVM runtime execution analysis - finds hot code paths by frequency, not CPU time
- asm
- bytecode
- code-coverage
- java
Ada finite-state machine generator.
Unofficial automated SBCL build usable on Windows 7
Single-header C++ JIT compiler/evaluator for mathematical expressions
- expression-evaluator
- expression-parser
- formula-engine
- formula-evaluator
Docker images of coq-mathcomp [maintainer=?]
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm