Search Results for "libgmp"
Sort By:
Showing 3 open source projects for "libgmp"
View related business solutions-
Workload Automation for Global EnterprisesRedwood lets you orchestrate securely and reliably across any application, service or server, in the cloud or on-premise, all inside a single platform.
-
Endpoint Protection Software for Businesses | HYPERSECUREThe HYPERSECURE endpoint protection platform is a comprehensive suite of products and services enhanced by European third-party solutions. It ensures our customers’ IT security, regulatory compliance, and digital sovereignty.
-
1
OCaml Jupyter
An OCaml kernel for Jupyter (IPython) notebook
...This provides an OCaml REPL with a great user interface such as markdown/HTML documentation, LaTeX formula by MathJax, and image embedding. OCaml Jupyter requires the libraries zlib, libffi, libgmp, libzmq 5+. -
2
zsbc
zsbc is a bc-language calculator working with libgmp
zsbc can work with two numeric libraries: libbc (original library of bc) and libgmp. zsbc is fully compatible with bc language and extends it for a few features like implicit powmod and automatic invmod. When running with libbc numbers lib, it works with decimal numbers (and it manages the "scale" variable = number of decimals) When running with libgmp numbers lib, it works with integers only. zsbc works on Windows and Linux. -
3
midori programming language
dependently typed functional programming language
Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.
- Previous
- You're on page 1
- Next
