Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Symbolic Open Source Projects

Open source projects categorized as Symbolic
Categories > Symbolic
Theano ⭐ 9,636
Theano was a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. It is being continued as aesara: www.github.com/pymc-devs/aesara
dependent packages 4total releases 6most recent commit 3 months ago
Effectivetensorflow ⭐ 8,646
TensorFlow tutorials and best practices.
most recent commit 2 years ago
Angr ⭐ 6,447
A powerful and user-friendly binary analysis platform!
dependent packages 10total releases 152most recent commit a day agopypi angr} Downloads
Manticore ⭐ 3,371
Symbolic execution tool
dependent packages 1total releases 723most recent commit 7 days agopypi manticore} Downloads
Materialfiles ⭐ 3,217
Material Design file manager for Android
most recent commit 3 days ago
Miasm ⭐ 2,917
Reverse engineering framework in Python
most recent commit 5 months ago
Go.rice ⭐ 2,319
go.rice is a Go package that makes working with resources such as html,js,css,images,templates, etc very easy.
dependent packages 85most recent commit 4 months ago
Klee ⭐ 2,199
KLEE Symbolic Execution Engine
most recent commit 15 hours ago
Deepframeworks ⭐ 2,077
Evaluation of Deep Learning Frameworks
most recent commit 6 years ago
Dua Cli ⭐ 2,019
View disk space usage and delete unwanted data, fast.
total releases 85most recent commit 18 days ago
Ied ⭐ 1,959
📦 Like npm, but faster - an alternative package manager for Node
dependent packages 4total releases 58most recent commit 6 years agonpm ied} Downloads
Tmsu ⭐ 1,820
TMSU lets you tags your files and then access them through a nifty virtual filesystem from any other application.
total releases 31most recent commit 12 days ago
Ponce ⭐ 1,250
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
most recent commit 4 months ago
Modelingtoolkit.jl ⭐ 1,174
An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations
most recent commit 14 hours ago
Android ⭐ 1,172
MEGA Android App
most recent commit 9 days ago
Minpy ⭐ 1,123
NumPy interface with mixed backend execution
total releases 36most recent commit 5 years ago
Awesome Symbolic Execution ⭐ 1,040
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
most recent commit 5 days ago
Pysr ⭐ 1,039
High-Performance Symbolic Regression in Python
total releases 130most recent commit 5 days ago
Symengine ⭐ 953
SymEngine is a fast symbolic manipulation library, written in C++
dependent packages 5total releases 5most recent commit 2 days ago
Patsy ⭐ 857
Describing statistical models in Python using symbolic formulas
dependent packages 184total releases 9most recent commit 6 months agopypi patsy} Downloads
Algebrite ⭐ 850
Computer Algebra System in Javascript (Typescript)
dependent packages 10total releases 37most recent commit a year agonpm algebrite} Downloads
Angr Doc ⭐ 812
Documentation for the angr suite
most recent commit 21 days ago
Angora ⭐ 773
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
most recent commit a year ago
The 10 Most Depended On Symbolic Open Source Projects
Godirwalk ⭐ 661
Fast directory traversal for Golang
dependent packages 758total releases 77latest release May 04, 2022most recent commit 2 months ago
Fstream ⭐ 206
Advanced FS Streaming for Node
dependent packages 734total releases 46latest release May 15, 2019most recent commit 2 years agonpm fstream} Downloads
Q Io ⭐ 317
Interfaces for IO using Q promises in JavaScript on Node
dependent packages 361total releases 81latest release July 11, 2018most recent commit 2 years agonpm q-io} Downloads
Patsy ⭐ 857
Describing statistical models in Python using symbolic formulas
dependent packages 184total releases 9latest release September 26, 2021most recent commit 6 months agopypi patsy} Downloads
Renameio ⭐ 551
Package renameio provides a way to atomically create or replace a file or symbolic link.
dependent packages 143total releases 11latest release October 30, 2021most recent commit 8 months ago
Machinist ⭐ 194
Spire's macros for zero-cost operator enrichment
dependent packages 43total releases 12latest release May 24, 2019most recent commit 3 years ago
Httpster ⭐ 337
Simple http server for quick loading of content
dependent packages 33total releases 22latest release October 06, 2022most recent commit 6 months agonpm httpster} Downloads
Symbolic ⭐ 373
Stack trace symbolication library written in Rust
dependent packages 15total releases 90latest release October 31, 2022most recent commit 16 hours agocargo symbolic-common} Downloads
Nerdamer ⭐ 458
a symbolic math expression evaluator for javascript
dependent packages 11total releases 38latest release November 17, 2021most recent commit 8 months agonpm nerdamer} Downloads
The 10 Latest Releases In Symbolic Open Source Projects
Symbolic ⭐ 373
Stack trace symbolication library written in Rust
dependent packages 15total releases 90latest release October 31, 2022most recent commit 16 hours agocargo symbolic-common} Downloads
Httpster ⭐ 337
Simple http server for quick loading of content
dependent packages 33total releases 22latest release October 06, 2022most recent commit 6 months agonpm httpster} Downloads
Formulaic ⭐ 205
A high-performance implementation of Wilkinson formulas for Python.
dependent packages 3total releases 17latest release September 20, 2022most recent commit 2 days agopypi formulaic} Downloads
Manticore ⭐ 3,371
Symbolic execution tool
dependent packages 1total releases 723latest release July 07, 2022most recent commit 7 days agopypi manticore} Downloads
Angr ⭐ 6,447
A powerful and user-friendly binary analysis platform!
dependent packages 10total releases 152latest release July 05, 2022most recent commit a day agopypi angr} Downloads
Dua Cli ⭐ 2,019
View disk space usage and delete unwanted data, fast.
total releases 85latest release July 05, 2022most recent commit 18 days ago
Pysr ⭐ 1,039
High-Performance Symbolic Regression in Python
total releases 130latest release June 22, 2022most recent commit 5 days ago
Godirwalk ⭐ 661
Fast directory traversal for Golang
dependent packages 758total releases 77latest release May 04, 2022most recent commit 2 months ago
Muspy ⭐ 268
A toolkit for symbolic music generation
dependent packages 1total releases 6latest release April 16, 2022most recent commit a year agopypi muspy} Downloads
Funsor ⭐ 210
Functional tensors for probabilistic programming
dependent packages 3total releases 11latest release March 21, 2022most recent commit 2 months agopypi funsor} Downloads
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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