Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org maintainers: MasahiroSakai
bytestring-encoding 0.1.2.0
Please see the README on GitHub at https://github.com/msakai/bytestring-encoding#readme3 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 6.05 thousand downloads total - 6 stars on GitHub - 1 maintainer
MIP-glpk 0.1.1.0
Please see the README on GitHub at https://github.com/msakai/haskell-MIP/tree/master/MIP-glpk#readme1 version - Latest release: over 3 years ago - 208 downloads total - 2 stars on GitHub - 1 maintainer
MIP 0.1.1.0
Please see the README on GitHub at https://github.com/msakai/haskell-MIP/tree/master/MIP#readme2 versions - Latest release: over 3 years ago - 2 dependent repositories - 954 downloads total - 2 stars on GitHub - 1 maintainer
logic-TPTP 0.2.0
19 versions - Latest release: about 15 years ago - 3 dependent repositories - 14.5 thousand downloads total - 3 maintainersfinite-field 0.10.0
This is an implementation of finite fields. Currently only prime fields are supported.7 versions - Latest release: over 3 years ago - 1 dependent repositories - 7 thousand downloads total - 1 maintainer
data-interval 2.1.2
Interval datatype, interval arithmetic and interval-based containers for Haskell. Unlike the inte...18 versions - Latest release: 6 months ago - 2 dependent packages - 15 dependent repositories - 15.5 thousand downloads total - 2 maintainers
extended-reals 0.2.4.0
Extension of real numbers with positive/negative infinities (±∞)6 versions - Latest release: about 4 years ago - 2 dependent packages - 12 dependent repositories - 7.84 thousand downloads total - 4 stars on GitHub - 2 maintainers
CPL 0.0.9
CPL is a functional programming language based on category theory. Data types are declared in a c...5 versions - Latest release: over 6 years ago - 4.76 thousand downloads total - 112 stars on GitHub - 1 maintainer
ersatz-toysat 0.2.2.0
toysat driver as backend for ersatz3 versions - Latest release: over 6 years ago - 2.73 thousand downloads total - 2 stars on GitHub - 1 maintainer
toysolver 0.8.1
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...15 versions - Latest release: over 1 year ago - 2 dependent repositories - 15.2 thousand downloads total - 152 stars on GitHub - 1 maintainer
numeric-optimization 0.1.1.0
Please see the README on GitHub at https://github.com/msakai/nonlinear-optimization-ad/tree/maste...3 versions - Latest release: 12 months ago - 3 dependent packages - 128 downloads total - 8 stars on GitHub - 1 maintainer
nonlinear-optimization-backprop 0.2.4
This package enhances nonlinear-optimization's usability by using backprop's automatic differenti...1 version - Latest release: over 4 years ago - 1 dependent repositories - 304 downloads total - 8 stars on GitHub - 1 maintainer
numeric-optimization-backprop 0.1.0.1
Please see the README on GitHub at https://github.com/msakai/nonlinear-optimization-ad/tree/maste...2 versions - Latest release: about 1 year ago - 1 dependent package - 71 downloads total - 8 stars on GitHub - 1 maintainer
numeric-optimization-ad 0.1.0.1
Please see the README on GitHub at https://github.com/msakai/nonlinear-optimization-ad/tree/maste...2 versions - Latest release: about 1 year ago - 1 dependent package - 87 downloads total - 8 stars on GitHub - 1 maintainer
nonlinear-optimization-ad 0.2.4
This package enhances nonlinear-optimization's usability by using ad's automatic differentiation....6 versions - Latest release: over 4 years ago - 1 dependent repositories - 3.82 thousand downloads total - 8 stars on GitHub - 1 maintainer
OptDir 0.1.0
The OptDir type for representing optimization directions (i.e. minimization and maximization).5 versions - Latest release: 3 months ago - 1 dependent repositories - 5.22 thousand downloads total - 1 maintainer
satchmo-toysat 0.2.1.0
toysat driver as backend for satchmo2 versions - Latest release: about 9 years ago - 1.94 thousand downloads total - 2 stars on GitHub - 1 maintainer
pseudo-boolean 0.1.11.0
Reading/Writing OPB/WBO files used in pseudo boolean competition13 versions - Latest release: 3 months ago - 1 dependent repositories - 8.55 thousand downloads total - 3 stars on GitHub - 1 maintainer
sign 0.4.4
Arithmetic over signs (i.e. -, 0, +) and sets of signs8 versions - Latest release: over 4 years ago - 1 dependent repositories - 6.72 thousand downloads total - 1 maintainer
menoh 0.3.0
Menoh is a MKL-DNN based DNN inference library for ONNX models. See https://github.com/pfnet-rese...4 versions - Latest release: over 5 years ago - 2.37 thousand downloads total - 1 maintainer
PTQ 0.0.8
An implementation of Montague's PTQ (Proper Treatment of Quantification). It translates simple pl...5 versions - Latest release: over 6 years ago - 4.49 thousand downloads total - 1 maintainer
decision-diagrams 0.2.0.0
Please see the README on GitHub at https://github.com/msakai/haskell-decision-diagrams#readme2 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 445 downloads total - 13 stars on GitHub - 1 maintainer