Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for c plus plus symbolic
c-plus-plus
x
symbolic
x
76 search results found
Klee
⭐
2,399
KLEE Symbolic Execution Engine
Symengine
⭐
1,051
SymEngine is a fast symbolic manipulation library, written in C++
Libbacktrace
⭐
828
A C library that may be linked into a C/C++ program to produce symbolic backtraces
Symcc
⭐
724
SymCC: efficient compiler-based symbolic execution
Pwn2own2020
⭐
314
Compromising the macOS Kernel through Safari by Chaining Six Vulnerabilities
Arybo
⭐
281
Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions
Trse
⭐
218
Turbo Rascal Syntax Error full repo
Microx
⭐
167
Safely execute an arbitrary x86 instruction
Halideir
⭐
156
Symbolic Expression and Statement Module for new DSLs
Moflow
⭐
107
Symlinkcallback
⭐
63
A driver that hooks C: volume using symbolic link callback to track all FS access to the volume
Apisan
⭐
52
APISan: Sanitizing API Usages through Semantic Cross-Checking
Sagelinks
⭐
47
Shows and checks Windows NTFS junctions, symbolic links and shortcuts.
Regslscan
⭐
39
A tool for scanning registery key permissions. Find where non-admins can create symbolic links.
Csound Extended
⭐
39
Extensions for Csound including algorithmic composition, Android app, and WebAssembly.
Cloud9
⭐
39
The Cloud9 main repository
Symjava
⭐
37
A Java library for fast symbolic-numeric computation
Autodiff
⭐
34
Symbolic differentiation engine for optimization-based machine learning models.
Smt Kit
⭐
34
C++11 library for many-sorted logics
Vita
⭐
33
Vita - Genetic Programming Framework
Estranged Act 1
⭐
31
Source code for the free Steam game, Estranged: Act I.
Ginac
⭐
31
Special purpose C++ library for symbolic computations
Ubitect
⭐
28
Metamath
⭐
26
Meta mathematics. Symbolic functions and derivatives.
Thunder
⭐
25
Thunder (aka WPEFramework)
Pynac
⭐
24
Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:
Vtil Symex
⭐
22
Symbolic expression simplifier used across VTIL toolchain. Moved into -->
Symbolic Execution
⭐
21
Applied Symbolic Execution with KLEE/LLVM
Klee
⭐
19
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
D S Se Directed Tests
⭐
19
Binary dynamic, static, and symbolic execution analysis tools for directed test generation
Symfpu
⭐
18
A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
Obake
⭐
18
A C++20 library for the symbolic manipulation of sparse polynomials & co.
Mr Seql
⭐
16
Time Series Classification with Multiple Symbolic Representations.
Gklee
⭐
15
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
Mathic
⭐
15
C++ library of symbolic algebra data structures for use in Groebner basis computation.
Sympler
⭐
15
SYMPLER: SYMbolic ParticLE simulatoR
Klee Float
⭐
14
KLEE with floating point support (unmaintained)
Semt
⭐
14
compile time symbolic differentiation via C++ template expressions
P3
⭐
13
Symboliclivenessanalysis
⭐
12
Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
Regen
⭐
12
Easy C++ reflection and code generation
Symbolist
⭐
12
A library for graphic/symbolic score editing
Ancona
⭐
12
Ancona is a core game engine framework for 2D games.
Symdiff
⭐
11
Symbolic differentation of algebraic expressions with Python and Tcl interfaces.
Libmep
⭐
11
Multi Expression Programming - complex library for data analysis, symbolic regression, classification
Numpp
⭐
10
Research library for compile time optimization
Usemlog
⭐
10
Semantic logger plugin for Unreal Engine
Mc Asm
⭐
10
Assemble code to bytes using LLVM's MC layer
Cryptocurrency Wallet_cryptonote
⭐
10
Cryptocurrency wallet source code for windows and mac versions respectively
Libddd
⭐
9
Library for Data Decision Diagrams and Set Decision Diagrams
Howdesbt
⭐
9
Sequence Bloom Tree, supporting determined/how split filters
Symlinkprotect
⭐
9
File system minifilter driver for Windows to block symbolic link attacks.
Idas2etracer
⭐
9
IdaS2ETracer: an IDA importer for S2E traces
Pnmc
⭐
8
An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
Sydr Benchmark
⭐
8
Sydr benchmark applications
Klee
⭐
8
A symbolic interpreter for LLVM bitcode
Klee
⭐
8
Stripped down version of KLEE (original on https://klee.github.com)
Mxnet_v1.0.0
⭐
8
mxnet v1.0.0 maintenance
Libits
⭐
7
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
Llvm Sra
⭐
7
Symbolic range analysis for LLVM.
Sensable_phantom_in_linux
⭐
7
Installing Sensable Phantom devices in Linux.
Castan
⭐
7
Cycle Accurate Symbolic Timing Analysis of Network Functions
Wedge
⭐
7
A C++ library for symbolic computations in differential geometry
Mathslib
⭐
7
A C++ computer algebra (symbolic computation) library.
Symac
⭐
6
A symbolic spice engine
Pfaces Omegathreads
⭐
6
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and
Tsym
⭐
6
Tiny symbolic library
Thirdeye
⭐
6
ThirdEYE is an open source AESOP replacement
Ev3
⭐
6
C++ library to compute symbolic derivatives
Justkeydding
⭐
5
Audio key detection algorithm that uses a chromagram as the input of a Hidden Markov Model
Assembler
⭐
5
assembler
Klee Float
⭐
5
Floating point support for the KLEE symbolic execution engine
Symbolic Analysis
⭐
5
Customized symbolic analysis to find pointer analysis bugs
Sympp
⭐
5
SymPP: A Symbolic Library that compiles itself
Lisa
⭐
5
Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space representation.
Its Ctl
⭐
5
CTL symbolic model-checker based on libDDD and libITS
Alignment Based Learning
⭐
5
Symbolic grammatical inference framework (for unsupervised machine learning)
Related Searches
C Plus Plus Cmake (8,712)
C Plus Plus Qt (8,557)
C Plus Plus Video Game (8,255)
C Plus Plus Algorithms (6,194)
C Plus Plus Opengl (4,396)
C Plus Plus 3d Graphics (3,196)
C Plus Plus Testing (2,735)
Java C Plus Plus (2,629)
C Plus Plus Command Line (2,304)
Javascript C Plus Plus (2,235)
1-76 of 76 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.