33 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
bzip2-with-lbzip2-symlinks 1.0.8-1 0 0.00 bzip2 with binaries symbolically linked to their lbzip2 equivalents ArniDagur
form-git 4.2.0.r18.gd15ec75-1 1 0.00 Symbolic Manipulation System developed at Nikhef. sfncmp1729
gnome2-icon-theme-symbolic 2.31.0-2 2 0.00 GNOME 2 icon theme, symbolic icons bidulock
jacal 1c4-3 4 0.00 A symbolic mathematics system written in Scheme. orphan
klee-uclibc 1.2-1 0 0.00 uclibc for a symbolic virtual machine built on top of the LLVM compiler infrastructure krafczyk.n
libbacktrace-git r21.5a99ff7-1 0 0.00 Library to produce symbolic backtraces Chocobo1
lndir 1.0.3-1 3 0.00 Create a shadow directory of symbolic links to another directory tree drrossum
logic2010 20180112-5 0 0.00 Educational symbolic logic software provided for free by UCLA afontenot
open-axiom 1.4.2-5 7 0.00 open source platform for symbolic, algebraic, and numerical computations orphan
perl-file-chmod 0.42-1 2 0.00 Implements symbolic and ls chmod modes jnbek
python-pymbolic 2017.1-1 0 0.00 Pymbolic: A simple package to do symbolic math (focus on code gen and DSLs) luspi
python-riccipy 0.1a-1 0 0.00 A Python3 symbolic calculator for General Relativity cjayross
python-saxpy-git r184.92a378a-1 0 0.00 Symbolic Aggregate approXimation, HOT-SAX, and SAX-VSM implementation in Python mqs
python-symengine 0.4.0-1 0 0.00 SymEngine is a fast symbolic manipulation library luspi
python-symfit 0.5.1-1 0 0.00 Symbolic fitting for python - fitting as it should be fordprefect
python2-symfit 0.5.1-1 0 0.00 Symbolic fitting for python - fitting as it should be fordprefect
scscp 1.0.1-2 2 0.00 C library for the Symbolic Computation Software Composibility Protocol ConnorBehan
seer-git 0.0.3.327-1 0 0.00 symbolic execution engine for Rust quininer
symengine 0.4.1-1 0 0.00 Fast symbolic manipulation library, written in C++ mschu
symengine-git 0.4.1.r0.g4f7cd0e7-1 1 0.00 Fast symbolic manipulation library, written in C++ mschu
envlinkfs-git 0.1.r2.b731de6-1 2 0.00 FUSE filesystem that exposes environment variables as symbolic links Akari
scyther v1.1.3-2 1 0.00 Tool for the symbolic analysis of security protocols lutobler
python2-angr 7.8.2.21-1 2 0.00 A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries oneup
libmatheval 1.1.11-1 4 0.01 A C/Fortran library to parse and evaluate symbolic expressions input as text. WorMzy
nusmv-bin 2.6.0-1 1 0.02 A new symbolic model checker malet
octave-symbolic 2.8.0-1 34 0.03 Adds symbolic calculation features to GNU Octave. These include common Computer Algebra System tools such as algebraic operations, calculus, equation solving, Fourier and Laplace transforms, variable precision arithmetic and other features. Interna [...] wangjiezhe
form 4.2.1-1 1 0.04 Symbolic Manipulation System developed at Nikhef. Revelation60
nusmv 2.6.0-4 6 0.06 A new symbolic model checker ASzc
snescom 1.8.1.1-3 1 0.08 This program reads symbolic 65816 or 65c816 machine code and compiles (assembles) it into a relocatable object file, into an IPS patch, or directly into a raw file. breaker1
ttf-pizzadude-bullets 2.0-3 34 0.09 A dingbats-style symbolic font that displays happy faces, stars, arrows, eyes, hearts, and more. bchretien
klee 2.0-2 2 0.10 Symbolic virtual machine built on top of the LLVM compiler infrastructure krafczyk.n
symlinks 1.4.3-3 31 0.63 Scan and change symbolic links kbabioch
casadi 3.4.5-2 5 0.79 Symbolic framework for automatic differentiation and numeric optimization adsun

33 packages found. Page 1 of 1.