Search Results for "symbolic" - Page 5
Sort By:
Showing 218 open source projects for "symbolic"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
-
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
1
QSapecNG is a Qt-based symbolic analysis program for linear analog circuits. In fact, it consists of two indipendently parts: the SapecNG framework engine, and the application gui QSapecNG.
-
2
Symlink Helper
Easily move folders and create symlinks in thier places
Symlink Helper is a tool designed to make creation of symbolic links (symlinks) easy and fast. Usually symlinks are created through the command line, making them inaccessible to many users. This tool will enable you to create symlinks with only a few mouse clicks from the explorer. Using symlinks can completely remove the need for duplicating folders if you need identical files to be in two paths at the same time. The most common use for this application is moving application settings... -
3
Repository moving to https://github.com/cmendl/fermifab ! A quantum physics toolbox for small fermionic systems. Keywords: quantum mechanics, reduced density matrices, Slater determinants, second quantization, creation and annihilation operators
-
4
This is a parser in Java for Lisp S-expressions. An S-expression or sexp (for symbolic expression) is a convention for representing data using parentheses.
-
ConnectWise Cybersecurity Management for MSPsConnectWise SIEM (formerly Perch) offers threat detection and response backed by an in-house Security Operations Center (SOC). Defend against business email compromise, account takeovers, and see beyond your network traffic. Our team of threat analysts does all the tedium for you, eliminating the noise and sending only identified and verified treats to action on. Built with multi-tenancy, ConnectWise SIEM helps you keep clients safe with the best threat intel on the market.
-
5
This is a sophisticated & integrated simulation and analysis environment for dynamical systems models of physical systems (ODEs, DAEs, maps, and hybrid systems). It supports symbolic math, optimization, continuation, data analysis, biological apps...
-
6
SCaVis
Scientific Computation and Visualization Environment
.... Linear, non-linear and symbolic regression are also available. Elements of symbolic computations using Octave/Matlab scripting are supported. The project was migrated to DataMelt. -
7
Maxima Bridge System
A system to allow the interaction between Stata and Maxima
Maxima Bridge System is a collection of software programs that allows Stata to interface with Maxima so that Maxima can be used for symbolic computation to transfer data from Stata to Maxima and to retrieve results from Maxima. The cooperation between Stata and Maxima provides an environment for statistical analysis in which symbolic computation can be easily used together with all the facilities supplied by Stata. In this environment, symbolic computation algorithms can be used to manage... -
8
FlexamySynth
A complete Arduino library for the Fluxamasynth shield.
.... Several hundred symbolic identifiers have been defined, for easy use with the controlChange method, Patch and Bank names, Reverb and Chorus program names, Modulation controller id's, etc.. to make your project code clearly legible. Released under the new NO NONSENSE OPEN SOURCE LICENSE (which protects developers from profiteering) -
9
...), In Proceedings of 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2013), 2013. Minimal Quadtree Format for Compression of Sparse Matrices Storage (I. Šimeček, D. Langr, P. Tvrdik), In 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'2012), 2012.
-
Free and Open Source HR SoftwareGive your HR team the tools they need to streamline administrative tasks, support employees, and make informed decisions with the OrangeHRM free and open source HR software.
-
10
Maxima poles-zeros for analog circuits
Maxima script for symbolic analysis of analog integrated circuits
Script for Maxima (a Computer Algebra System) that performs symbolic analysis of analog integrated circuits. Script allows to find approximated poles and zeros of transfer functions, developed and optimized for transfer functions of amplifiers, but can be used also for any general analog circuit. The script calculates DC transfer function, zeros, poles and creates Bode plots. DC transfer function, zeros, poles result simplified so main contributing elements can be easily identified. Poles... -
11
Symbolic Link Manager
Command-line utility for managing symbolic links.
Symbolic Link Manager (or SLM) is a cross-platform command-line utility for managing symbolic links. SLM is written in pure Java and relies on Java's symbolic link support. This utility will only be functional on systems that support symbolic links. Note that this project still requires a lot of testing and smoothing out, but it is indeed functional. -
12
Stratagem Model Checker
Stratagem Model Checker
StrataGEM is a tool aimed at the analysis of Petri nets and other models of concurrency by means of symbolic model-checking techniques. StrataGEM marries the well know concepts of Term Rewriting (TR) to the efficiency of Decision Diagrams (DDs). TR systems are a great way to describe the semantics of a system, being readable and compact, but their direct implementation tends to be rather slow on large sets of terms. On the other hand, DDs have demonstrated their efficiency for model-checking... -
13
configthis
Manage and execute Linux testing and reporting programs
These bash shell scripts are intended to iteratively load executable files via symbolic links and echo output to a log file for later review. These bash shell scripts rely on a directory structure intended to group testing and reporting executable files by project, target platform, and version. -
14
slc
Symbolic Lambda Calculus
Symbolic Lambda Calculus is a logical formalism based on lambda calculus and combinatory logic, in which there is only one kind of objects, which can represent either terms or equalities. It uses de Bruijn's and lambda calculus notations. -
15
C-IL2P
Original C-IL2P
This is a C++ implementation of the original C-IL2P system, invented by Artur D'Avila Garcez and Gerson Zaverucha. C-IL2P is a neural-symbolic learning system which uses a propositional logic program to create a three-layer recursive neural network and uses back-propagation to learn from examples. -
16
Duplicate Files Finder is a cross-platform application for finding and removing duplicate files by deleting, creating hardlinks or creating symbolic links. A special algorithm minimizes the amount of data read from disk, so the program is very fast.
-
17
Wedge is a C++ library based on GiNaC for symbolic computations in differential geometry. The project webpage has moved to https://github.com/diego-conti/wedge
-
18
JKMath
A Simple Math Library
A simple math library in c++ to evaluate symbolic functions efficiently and effectively. -
19
Simcas is a simple and very flexible analog simulator. SimCAS uses symbolic equations to define components and solves the net system by using a "Computer Algebra System" algorithm.
-
20
This library is intended to provide a minimal C/C++ API to efficiently create, manipulate, and parse LISP-style symbolic expressions.
-
21
SymSAP
SymSAP - A Symbolic Structural Analysis Program
SymSAP is a little program, written in Maxima language, to perform symbolic matrix analysis of structures. SymSAP aims to become a powerful didactic tool to help students learn structural analysis. -
22
ImpPath
Simple C++ library for path manipulation
... file systems, and thus doesn't know anything about symbolic links. Primarily designed for usage in a secure environment with known simple limitations. For example, for working with internal application resource paths referencing a "sandboxed" virtual filesystem (like with PhysicsFS). Platform-specific path support is mainly intended for tools (e.g. map editor) which need to share a common code base (and perhaps some hard-coded resources) with the main sandboxed application (e.g. game). -
23
* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol
-
24
SAC - Symbolic Analysis and Control
CAS routines for theoretical analysis of nonlinear time-delay systems
SAC (Symbolic Analysis and Control) is a toolbox for people working in control theory. It will help to the analysis and synthesis of nonlinear systems described by state equations (with or without delays). -
25
This is a C source code scanner based on symbolic logic. It analyses C source code (especially that of the Linux kernel, at which it is aimed) for programming errors and vulnerabilities. The tests are defined by the user.