Awesome Open Source

Programming Languages

Search results for tex symbolic

12 search results found

Angr Doc ⭐ 820

Documentation for the angr suite

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.

Sympy Paper ⭐ 37

Repo for the paper "SymPy: symbolic computing in python"

Sympytex ⭐ 29

A LaTeX package that incorporates sympy code, and it's output into your LaTeX documents

Phd Thesis ⭐ 21

Sources for PhD thesis. Org-mode file, results, and figures sources.

Notes and symbolic and numerical computations and implementations on Gravity

GPU-powered symbolic differentiation in haskell

A deterministic pseudorandom symbolic perturbation scheme for arbitrary polynomial predicates

Bsc Thesis ⭐ 6

Symbolic Execution and Debugging Synchronization - Bsc Thesis

Symbolicsql ⭐ 5

Collection of references, links, and other material towards Jazz Research and Jazz Information Retrieval

Reference symbolic data points in your latex code.

Related Searches

Tex Latex (5,332)

Tex Thesis (1,478)

Tex Paper (821)

Python Tex (552)

Tex University (480)

Python Symbolic (449)

Tex Xelatex (439)

Tex Bibtex (403)

Markdown Tex (392)

1-12 of 12 search results

Privacy | About | Terms | Follow Us On Twitter

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