#

symbolic

Here are 75 public repositories matching this topic...

davidedc / Algebrite

Star

Computer Algebra System in Javascript (Coffeescript)

javascript coffeescript algebra computer-algebra cas symbolic symbolic-manipulation symbolic-computation javascript-cas algebraic-computation computer-algebra-system algebraic

Updated Aug 29, 2020
CoffeeScript

SciML / ModelingToolkit.jl

Star

A 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

computer-algebra julia ode symbolic dde differential-equations ordinary-differential-equations sde pde dae stochastic-differential-equations delay-differential-equations symbolic-computation neural-ode scientific-machine-learning neural-differential-equations sciml symbolic-numerics

Updated Oct 17, 2020
Julia

corywalker / expreduce

Star

An experimental computer algebra system written in Go

language calculus computer-algebra cas symbolic

Updated Jan 28, 2020
Mathematica

jiggzson / nerdamer

Star

a symbolic math expression evaluator for javascript

javascript latex integration calculus algebra math solver equation symbolic solve-equations fraction expressions differentiation fractions substitutions

Updated Jul 9, 2020
JavaScript

andreafioraldi / IDAngr

Star

Use angr in the IDA Pro debugger generating a state from the current debug session

plugin debugger gui symbolic-execution symbolic ida execution ida-pro ida-plugin concrete idapython angr

Updated Jul 22, 2020
Python

Nalen98 / AngryGhidra

Star

Angr plugin for Ghdira

symbolic-execution symbolic execution angr ghidra ghidra-plugin summer-of-hack

Updated Sep 16, 2020
Java

pyro-ppl / funsor

Star

Functional tensors for probabilistic programming

machine-learning numpy pytorch symbolic probabilistic-programming

Updated Oct 18, 2020
Python

uw-biorobotics / IKBT

Star

Open

Python 3.x support?

2

bfouts-kindred commented Dec 6, 2019

Python 2.7 is being deprecated. Do you plan to migrate to 3.x any time soon?

Read more

enhancement good first issue help wanted

Open

th_* variables undeclared, "argument" variable multi-assigned in generated cpp code

4

Open

Syntax error in generated cpp code.

2

cbm755 / octsympy

Star

Open

add cart2pol function and friends

cbm755 commented Feb 15, 2018

Presumably this just calls atan2 and hypot...

Could also investigate whether upstream Octave can be improved to make these "just work" on any class that has atan2 and hypot.

Read more

enhancement good first issue help wanted

Open

Functions it would be nice to have for compatibility

19

S2E / s2e

Star

S2E: A platform for multi-path program analysis with selective symbolic execution.

Updated Jul 7, 2020
C++

HarrisonGrodin / Rewrite.jl

Star

An efficient symbolic term rewriting engine

algebra julia symbolic symbolic-computation julialang symbolic-math rewriting

Updated Aug 1, 2019
Julia

paulknysh / sym

Star

A Mathematica package for generating symbolic models from data

data model mathematica symbolic generation

Updated Jan 29, 2019
Mathematica

primaryobjects / knowledgebase

Star

An expert system using logic-based artificial intelligence and symbolic AI.

nodejs javascript ai knowledge artificial-intelligence symbolic knowledgebase knowledge-discovery logical-knowledge-inference expert-system expert-systems logic-based-artificial-intelligence symbolic-ai

Updated Jul 23, 2018
JavaScript

cognesence / matcher

Star

A fully-featured symbolic pattern matcher for Clojure.

clojure pattern-matching matcher symbolic

Updated Jul 6, 2017
Clojure

tulip-control / omega

Star

Specify and synthesize systems using symbolic algorithms

python automata symbolic synthesis temporal-logic streett rabin bitvector logic-minimization

Updated Feb 26, 2020
Python

biosustain / swiglpk

Star

Simple swig bindings for the GNU Linear Programming Kit

python optimization symbolic scientific-computing modeling-language

Updated Jan 9, 2020
Python

jrclogic / SMCDEL

Star

A symbolic model checker for Dynamic Epistemic Logic.

haskell logic symbolic model-checking epistemic-logic

Updated Jul 6, 2020
Haskell

tirthajyoti / Symbolic-computation-Python

Star

Symbolic computation using SymPy and various applications

python calculus algebra linear-algebra symbolic symbolic-computation

Updated Aug 4, 2018
Jupyter Notebook

whitemech / pythomata

Star

A Python package for automata theory.

automata symbolic nfa automaton dfa automata-theory dfa-minimization deterministic-finite-automata determinizer dfa-construction nfa2dfa dfa-minimizer nondeterministic-finite-automata languages-and-automata symbolic-automata

Updated May 24, 2020
Python

irifrance / reach

Star

symbolic reachability checker

simulation verification symbolic safety model-checking ic3 circuit bmc pdr

Updated Jan 31, 2019
Go

lip6 / libDDD

Star

Library for Data Decision Diagrams and Set Decision Diagrams

verification symbolic lgpl decision-diagrams cplusplus-11

Updated Nov 6, 2019
C++

2p-kt

tuProlog / 2p-kt

Star

A Kotlin Multi-Platform ecosystem for symbolic AI

javascript kotlin java js jvm prolog symbolic logic-programming tuprolog kotlin-multiplatform kotlin-multi-platform 2p simbolic-ai

Updated Oct 11, 2020
Kotlin

devsim / symdiff

Star

Symbolic differentation of algebraic expressions with Python and Tcl interfaces.

python c-plus-plus tcl symbolic symdiff devsim

Updated Jul 12, 2020
C++

RKlompUU / SCRIPTAnalyser

Star

Symbolic verification of Bitcoin's output scripts

bitcoin analysis static symbolic automatic

Updated Dec 24, 2018
Haskell

smarie / python-mini-lambda

Star

Simple lambda functions without `lambda x:` prefix and with string conversion capability.

lambda minimal string simple function expression symbolic expr print symbol mini func

Updated Apr 24, 2020
Python

iguntur / get-symlinks

Star

Get all symbolic link (file symlinks) using glob

files sync links system async filesystem glob symbolic symlink symlinks-paths

Updated Dec 14, 2018
JavaScript

jonnyhyman / Convex_Symbolic

Star

Open

Better C interface

jonnyhyman commented May 16, 2018

The performance and utility of the C templates can definitely be improved. If you have ideas discuss them here!

Read more

enhancement good first issue help wanted

abmohajeri / Symbolic-Derivation

Star

This program demonstrates symbolic derivation from variety of mathematical functions.

cpp symbolic derivation symbolicderivation

Updated Aug 8, 2017
C++

McMasterU / HashedExpression

Star

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

machine-learning haskell optimization edsl symbolic type-safety solvers symbolic-computation type-level-programming optimization-algorithms symbolic-differentiation lbfgs ipopt lbfgs-b

Updated Oct 18, 2020
Haskell

lip6 / libITS

Star

Core Guarded Action Language and Instantiable Transition System semantics using libDDD.

cplusplus gplv3 symbolic model-checking decision-diagrams

Updated May 7, 2020
C++

Improve this page

Add a description, image, and links to the symbolic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the symbolic topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.