Search Results for "p7zip-plugins"
Sort By:
36 projects for "p7zip-plugins" with 2 filters applied:
-
Outgrown Windows Task Scheduler?Windows Task Scheduler wasn't built for complex, cross-platform automation. Get a free diagnostic that shows exactly where things are failing and provides remediation recommendations. Interactive HTML report delivered in minutes.
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
1
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
-
2
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
3
Criterial
The package for statistical data analysis and applied mathematics
Putting truth before show-off. The high performance open source package for statistical data analysis and applied mathematics Criterial is an add-in for all desktop versions of the LibreOffice Calc, Apache OpenOffice spreadsheets on any 64-bit operating systems. The combination of the unsurpassed convenience of spreadsheets as frontend and the maximum speed of the C++ programming language as backend. Contains user experience and the best ideas of projects AtteStat and StatAnt. Completely... -
4
Symja Java Computer Algebra
Symja - Java computer algebra language & symbolic math library
Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example -
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
5
modnlp-plugins
External plugins for modnlp/teccli
This is a general project for modnlp/teccli plugins, with focus on text visualizaton. -
6
CompPad is a LibreOffice extension that provides live mathematical and engineering calculations within a Writer document. It is intended to provide a free / open-source alternative to Mathcad .
-
7
This project will be a project that will be used by Speleologist (cavers) to help aid in the mapping of the underground world. It will be simple at first.. only allowing the entry of survey (dist/azmith/V-angle) and give back a line plot..
-
8
Tux Math Scrabble
12÷16×3=9÷4
Latest version 0.9.1 runs on Python3. Date: June 15, 2023 Online/touch-screen version: https://www.asymptopia.com/tuxmathscrabble Encourages kids to construct compound equations and consider multiple abstract possibilities. -
9
libirt
The new site is at http://psychometricon.net/libirt/
The new site is at http://psychometricon.net/libirt/ Library of functions to estimate the items and abilities from the responses of subjects to a questionnaire. The IRT models supported are the logistic model, the multivariate logistic model, the graded model and smoothing by penalization and kernel. -
Desktop and Mobile Device Management SoftwareDesktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.
-
10
Econball
Equation of stock trading simplified to game of moving resizing balls
The econ theory is the value of buy and sell are usually equal, at whatever free market price at the time, so if we trade between 2 things, holding the total of those 2 equal eachother, then you can buy without anyone selling, or sell without anyone buying. Just change from one equal valued type to the other, and the total of all the A's and all the B's are scaled instantly to be the same amounts. Those who change to the majority side lose, and those who change to the minority side win,... -
11
xorlisp
Bit level lambda continuations and nothing else - Queue automata
Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a... -
12
coalescent
Software tool for Research in Computational Population Genetics
Development of exact and approximate methods (Importance Sampling and MCMC based) for computing likelihoods under the standard population genetic models of mutation,migration & recombination. Project issues are mainatined at https://freecode4susant.atlassian.net/browse/COALESCENT -
13
mglua
mglua stands for MathGL for Lua.
mglua is a Lua extension for MathGL. -
14
Black Hole Cortex
Sphere surface layers of visual cortex approach maximum info density
Near the surface (even horizon) of a black hole, there is maximum information density in units of squared plancks (and some translation to qubits). Similarly, our imagination is the set of all possible things we can draw onto our most dense layer of visual cortex in electricity patterns. Bigger layers have more neurons to handle those possibilities. A Black Hole Cortex is a kind of visual cortex that has density of neuron layers similar to density at various radius from a black hole. What we... -
15
Pw.mac is an enhancement to Maxima, so you will have to get Maxima. Pw.mac enables Maxima to handle integration, differentiation, computation of products, sums and powers, plotting, transforming and simplifying piecewise continuous functions.
-
16
StatsCollect is a little framework gathering statistics from external sources (social networks, web sites...), stored in pluggable backends. It can be very easily extended thanks to its plugins (currently include Facebook, Myspace, Youtube, Google).
-
17
-
18
Muminav started as a high specialized software component. It should be used in a project named Mumie (see project website for more info).Now it is an applet for displaying visual graphs of all kinds:<br> <br> UML, flowchcharts, E/R , genealogical trees
-
19
MathJax is a modular javascript framework for including mathematics in web pages. It can take input in various formats, like TeX and MathML, and can produce output in various forms, such as MathML or HTML-with-CSS. Components are loaded as needed.
-
20
-
21
Complex Systems is a toolbox for SCILAB software. This toolbox measures some parameters for graphs representing complex systems: degree distribution, average neighboring degree, average clustering, and shell index (from k-core decomposition).
-
22
The aim of this project is to create a series of User Defined Functions, for MySQL servers. (Formerly known as MySQL/Scientific)
-
23
Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse
-
24
Fuzzy logic add-in for OpenOffice.org Calc. InrecoLAN FuzzyMath allows to perform ordinary arithmetic operations and use ordinary mathematical and financial functions with fuzzy numbers. Have any ideas how to improve this project - you are welcome!
-
25
CthughaNix is the reincarnation of Cthugha-L, a Linux port of one of the first audio visualization software packages, known as "An Oscilloscope On Acid".
