Search Results for "symbolic logic exploration"
Sort By:
Showing 17 open source projects for "symbolic logic exploration"
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
Reduce.jl
Symbolic parser for Julia language term rewriting using REDUCE algebra
REDUCE is a portable general-purpose computer algebra system. It is a system for doing scalar, vector and matrix algebra by computer, which also supports arbitrary precision numerical approximation and interfaces to gnuplot to provide graphics. It can be used interactively for simple calculations (as illustrated in the screenshot below) but also provides a full programming language, with a syntax similar to other modern programming languages. REDUCE supports alternative user interfaces... -
2
Octave Forge
A collection of packages providing extra functionality for GNU Octave
Octave Forge is a central location for collaborative development of packages for GNU Octave. The Octave Forge packages expand Octave's core functionality by providing field specific features via Octave's package system. See https://octave.sourceforge.io/packages.php for a list of all available packages. GNU Octave is a high-level interpreted language, primarily intended for numerical computations. It provides capabilities for the numerical solution of linear and nonlinear problems, and... -
3
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques. -
4
SymbComp
Symbloic computation
SYMBCOMP is a research project (the outcome is unknown) and also a C++ library, hopes, in an a priori perspective of symbolic substitution, the knowledge of the property of mathematics and logic, including problem description, problem solving can be improved via computer programs. Executables are important but considered by-products, hope not too difficult to build from the library. SYMBCOMP是項研究計劃(不很清楚成果會是啥)也是個C++程式庫,目的是希望在符號代換的 先驗觀點下,藉由電腦程式 探討數學與邏輯的性質,包含問題描述法,解法...等. 執行程式 雖重要... -
New Relic provides the most powerful cloud-based observability platform built to help companies create more perfect software.Correlate issues across your stack. Debug and collaborate from your IDE. AI assistance at every step. All in one connected experience - not a maze of charts.
-
5
Manticore
Symbolic execution tool
Manticore helps us quickly take advantage of symbolic execution, taint analysis, and instrumentation to analyze binaries. Parts of Manticore underpinned our symbolic execution capabilities in the Cyber Grand Challenge. As an open-source tool, we hope that others can take advantage of these capabilities in their own projects. We prioritized simplicity and usability while building Manticore. We used minimal external dependencies and our API should look familiar to anyone with exploitation... -
6
FRDCSA
Formalized Research Database: Cluster, Study and Apply
We are creating a large repository of FLOSS AI software that solves problems which affect people through the Free Life Planner and FRDCSA projects. We are making OS packages for external and internal software that employ symbolic AI (Prolog/OpenCYC/etc) and connectionist AI (ML/DL/NN), to solve computational problems. Our goal is to use logic to solve planning problems - to treat the world as a "game" and then win that game by proving that bad things don't happen to people. https... -
7
openVmTil
openVm : Tookit for Implementing (and exploring) Languages
*An Exploration of Language Theory - and its Machine Implementation* *Imagine a low level, optimizing, virtual machine (like llvm) that is an extensible scripting language and that is small enough to be easily verified, where even the runtime is reconfigurable - minimize that.* *Current focus (to do) : * minimal bootstrap, self-hosting, patterns/sets, logic, tail call, type checking, gui -
8
startrails
open game world to be set in a realistic environment
Discover a huge fictional game world and supply resources for its exploration. Unleash mysterious secrets or just race through the hills. This software is under development and thus neither complete nor bug-free. However, fun can occasionally be had. -
9
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. -
Visitor Management and Staff Sign In | Sign In AppOur visitor management system streamlines registration, check-in, and authorization processes, while our facility management tools streamline room booking, resource allocation, and asset management. We prioritize security with our advanced risk mitigation measures, including health and safety protocols, emergency messaging, and robust analytics for thorough auditing.
-
10
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. -
11
Zoom Logic
Zoom is a browser-based logic application. Users can create a world of
Zoom is a browser-based logic application. Users can create a world of shapes and make statements about those worlds using symbolic logic. It's very useful for learning or teaching symbolic logic and first-order logic. -
12
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.
-
13
PGraph
Visual Programming Tool for Parallel Computations
PGraph is a free and cross-platform tool for parallel computation that provides you to construct parallel algorithms in easy visual way and generate source code automatically. PGraph is based on C language and flow chart. We call this combination as Visual-Symbolic Programming Language. Now it is able to generate source code in C/C++ for MPI standart. -
14
LPIA
Programming language for artificial intelligence
LPIA is an interpreted symbolic functional language with multi-process capabilities and predefined pattern matching. It is inspired by combinatory logic, lambda calculus, Scheme and Forth. LPIA est un langage symbolique fonctionnel interprété avec des possibilités multi-processus et un filtrage prédéfini. Il est inspiré par la logique combinatoire, le lambda calcul, Scheme et Forth. -
15
FPGA Session Control [FSC]
A tool suite to manage multiple bitstreams on remote FPGAs
Current trends in Reconfigurable Computing point to an ever-increasing need for logic resources. This has led to the development and deployment of systems consisting of multiple FPGAs. These systems are advancing from scores of FPGAs to hundreds of FPGAs. Programming and administering these kind of systems while maintaining a non-intrusive physical footprint is expected to remain a continuing challenge. Future systems demand lower FPGA configuration and initialization turn-around times while... -
16
MCMAS-C is an extension of MCMAS symbolic model checker for multi-agent systems. It is particularly used to check social commitments that agents can create toward each other and their fulfillment. It also supports CTLC logic.
-
17
Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.
- Previous
- You're on page 1
- Next