Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for java symbolic
java
x
symbolic
x
41 search results found
Android
⭐
1,395
MEGA Android App
Angryghidra
⭐
501
Use angr in Ghidra
Properratingbar
⭐
413
Inspired by stock android RatingBar. Simpler, has features that original lacks.
Symja_android_library
⭐
336
☕ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java. Inspired by Wolfram Language built-in functions.
React Native Text Detector
⭐
148
Text Detector from image for react native using firebase MLKit on android and Tesseract on iOS
Jpf Symbc
⭐
104
Symbolic PathFinder
Jbse
⭐
97
A symbolic Java virtual machine for program analysis, verification and test generation
Genetic Programming
⭐
89
Symbolic regression solver, based on genetic programming methodology.
2p Kt
⭐
77
A Kotlin Multi-Platform ecosystem for symbolic AI
Jdart
⭐
64
A dynamic symbolic analysis tool for Java
Symbolicautomata
⭐
60
Library for symbolic automata and symbolic visibly pushdown automata
Symjava
⭐
37
A Java library for fast symbolic-numeric computation
Parserng
⭐
22
ParserNG is a powerful , fast math expression parser that parses and evaluates math expressions, does differential calculus(symbolic) evaluations, numerical integration, equation solving(quadratic, Tartaglia's, numerical solutions of other equations) , matrix operations and statistics amongst other functionality. It is written in pure java and has no native dependencies.
Coastal
⭐
21
Concolic analysis tool for Java
Scancalculator
⭐
18
a project that can calculate only through scanning the Calculation formula.
Gelf4j
⭐
18
Library for sending log messages using the GELF protocol using CLI, Log4j, JDK Logging and Logback
Melodyshape
⭐
16
A Library and Tool for Symbolic Melodic Similarity based on Shape Similarity
Cojac
⭐
16
Numerical sniffing tool and Enriching number wrapper for Java
Dependency Graph Osgi
⭐
15
Dependency Graph in OSGi
Badger
⭐
14
Mathengine
⭐
11
A mathematical library complete with a complex expression parser
Time Series Math
⭐
11
Time Series Math Library
Jvmasm
⭐
11
JavaScript JVM symbolic assembler DSL
Concolic Walk
⭐
11
Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.
Aic Praise
⭐
10
SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)
Centaur
⭐
9
Symbolic Execution of Android Framework
Attestor
⭐
9
A Shape Analysis Tool based on Graph Grammars
Tardis
⭐
9
The TARDIS concolic test case generator
Javacalculus
⭐
8
Symbolic multivariate differentiation of arbitrary order and adaptive optimization.
Symbolic Equation Solver
⭐
8
A genetic programming application to solve linear and quadratic equations symboliclly
I2p.scripts
⭐
8
Mainly for I2P development.
Cortex Tool
⭐
8
Cortex -- Production-guided Concurrency Debugging
Algebrain Legacy
⭐
7
Computer Algebra System focusing on symbolic transformations
Aic Expresso
⭐
7
SRI International's AIC Symbolic Manipulation and Evaluation Library (for Java 1.8+)
Lilac
⭐
6
A Java assembler and disassembler
Psyco
⭐
6
A tool for generating symbolic interfaces for software components
Cheat Ext
⭐
6
Coordinates
⭐
5
A Java library for handling coordinate systems.
Emergingsymbols
⭐
5
Crossing the symbolic threshold with deep neural networks
Spf Wca
⭐
5
Tool for algorithmic complexity analysis based on symbolic execution
Thread
⭐
5
쓰레드 설명
Related Searches
Java Spring (21,350)
Java Spring Boot (11,982)
Java Video Game (8,093)
Java Gradle (8,072)
Java Docker (6,180)
Java Database (6,015)
Java Mysql (5,954)
Java Sdk (5,864)
Javascript Java (5,468)
Java Rest (4,956)
1-41 of 41 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.