Awesome Open Source

Programming Languages

Search results for symbolic

839 search results found

Paxedit ⭐ 177

Structured, Context-Driven, LISP Editing and Refactoring

Pandas Ply ⭐ 174

functional data manipulation for pandas

Symbolism ⭐ 172

Computer Algebra and Symbolic Computation in C#

Generic static analysis framework.

Safely execute an arbitrary x86 instruction

A python package to solve robot arm inverse kinematics in symbolic form

A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

Awesome Deeplogic ⭐ 160

A collection of papers of neural-symbolic AI (mainly focus on NLP applications)

Symata.jl ⭐ 159

language for symbolic mathematics

The LV2 audio plugin specification

Halideir ⭐ 156

Symbolic Expression and Statement Module for new DSLs

Seeding fuzzers with symbolic execution

Angrgdb ⭐ 152

Use angr inside GDB. Create an angr state from the current debugger state.

Pde Net ⭐ 149

PDE-Net: Learning PDEs from Data

A framework for gene expression programming (an evolutionary algorithm) in Python

Symbolic ⭐ 148

Type-safe wrapper for SF Symbols

React Native Text Detector ⭐ 148

Text Detector from image for react native using firebase MLKit on android and Tesseract on iOS

Symbolic ⭐ 147

A Symbolic Package for Octave using SymPy

Hyperkernel ⭐ 145

Symbolic formula representation and solver interaction library

Eddie Vim2 ⭐ 126

Yet another vimrc

The missing tool to call arbitrary ioctls on devices

Unix Permissions ⭐ 122

Swiss Army knife for Unix permissions

Minikanren ⭐ 121

Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.

Wsl Config ⭐ 120

CS 4400 - Step by step guide for using WSL and Vim as a development environment

Warbirdvm ⭐ 120

An analysis of the Warbird virtual-machine protection for the CI!g_pStore

Automatic Discrepancy Discovery for DPI Elusion

Matchpy ⭐ 117

A library for pattern matching on symbolic expressions in Python.

Onedrivebully ⭐ 117

Bully your OneDrive to sync Symbolic Link Folders

Tlspuffin ⭐ 116

A Dolev-Yao-model-guided fuzzer for TLS

Esilsolve ⭐ 116

A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)

Musicaiz ⭐ 115

A python framework for symbolic music generation, evaluation and analysis

Mint Y Icons ⭐ 113

The Mint-Y icon theme

Computer calculations made easy

Sebastian ⭐ 110

symbolic music analysis and composition library in Python

Pathgrind ⭐ 106

Path based Dynamic Analysis

Jpf Symbc ⭐ 104

Symbolic PathFinder

Symbolicalgebra ⭐ 102

Symbolic Algebraic Library written entirely in C#

Pymbolic ⭐ 101

A simple package to do symbolic math (focus on code gen and DSLs)

Fungrim ⭐ 100

Fungrim: the Mathematical Functions Grimoire

Clojuratica ⭐ 100

An interface between Clojure and Mathematica

Node Folder Hash ⭐ 99

Create a hash checksum over a folder or a file

Oss Sydr Fuzz ⭐ 99

OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

A symbolic Java virtual machine for program analysis, verification and test generation

Symbolic Execution Tool in r2

Quantumlattices.jl ⭐ 94

Julia package for the construction of quantum lattice systems.

Lua Matrix ⭐ 92

Matrices and vectors of are real, complex, and symbolic elements, implemented as Lua tables.

Symbolic ⭐ 90

Symbolic math for ruby

Safer, more cosmopolitan string interpolation.

Genetic Programming ⭐ 89

Symbolic regression solver, based on genetic programming methodology.

Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

Minikanren With Symbolic Constraints ⭐ 87

Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

The Scyther Tool for the symbolic analysis of security protocols

Dotfiles ⭐ 86

My dotfiles for herbstluftwm, tmux, zsh, Vim, and other applications...

minimal symbolic model checker & fuzzer

Deep.Net machine learning framework for F#

Pyodesys ⭐ 84

∫ Straightforward numerical integration of systems of ordinary differential equations

Classical Mechanics ⭐ 82

Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.

React Jhipster ⭐ 82

JHipster React library

Python implementation of Symbolic Aggregate approXimation

A Kotlin Multi-Platform ecosystem for symbolic AI

Package vfs provides an abstraction of the os and io packages that is easy to test.

Cmd Shim ⭐ 75

The cmd-shim used in npm

Lk Reducer ⭐ 75

Linux Kernel Source Tree Reducer

Parameterizedfunctions.jl ⭐ 75

A simple domain-specific language (DSL) for defining differential equations for use in scientific machine learning (SciML) and other applications

The fastest NPM install does nothing because you already have it

a python 3 library based on deap providing abstraction layers for symbolic regression problems.

[deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs.

Manjaro Linux Config ⭐ 73

configuration for manjaro linux

Symbolic Execution Tutorial ⭐ 73

Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.

Simplest dotfiles manager written in shellscript 🐚

LatPlan : A domain-independent, image-based classical planner

Time-series Generative Adversarial Networks (fork from the ML-AIM research group on bitbucket))

Symlinks ⭐ 68

symbolic link maintenance utility

Timeless debugging with symbolic execution and processor trace

Pitchfork ⭐ 67

Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)

Symbolic-execution-based verifier for the Viper intermediate verification language.

Cargo Clippy ⭐ 66

Vimfiles ⭐ 65

F/ default vim configuration

A dynamic symbolic analysis tool for Java

SYmbolic MOdeling of RObots software. This is an open-source version of SYMORO software written in Python.

R2con2020_deobfuscation ⭐ 63

Hasksymb ⭐ 63

An Experiment in Haskell Symbolic Algebra

Symbolics.jl ⭐ 63

A symbolic math library written in Julia modelled off scmutils

Symlinkcallback ⭐ 63

A driver that hooks C: volume using symbolic link callback to track all FS access to the volume

Survey Symbolic Execution ⭐ 63

A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.

gh - A shell script to open the GitHub page for a repository.

Symbolic MSIL bytecode generation for ClojureCLR

Symbolicautomata ⭐ 60

Library for symbolic automata and symbolic visibly pushdown automata

Small Fast S-Expression Library

Provides the functionality of GNU Stow in a cross platform CLI tool and python module

Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool

Fast Function Extraction

A language for symbolic transitions system, inspired by Ivy.

Grunt Contrib Symlink ⭐ 57

Create symbolic links.

Simple hook management tool made with PHP

101-200 of 839 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.