47 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
arend 1.5.0-1 0 0.00 Proof assistant based on Homotopy Type Theory knisht
boolector 3.2.2-2 1 0.00 Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays. Ice_Phoenix
c-graph 2.0.1-1 1 0.00 Demonstrates the theory of convolution underlying engineering systems and signal analysis. haawda
cadabra2-git 2.2.7-1 5 0.00 A computer algebra system (pre-release version) designed specifically for the solution of problems encountered in field theory. init
dalton 2018.2-2 1 0.00 A tool for a wide range of molecular properties at different levels of theory a.kudelin
fleur-develop latest-4 0 0.00 FLEUR is a feature-full and freely available FLAPW (full-potential linearized augmented planewave) code, based on density-functional theory. R.Hilgers
flint1 1.6-1 0 0.00 Fast Library for Number Theory 1.x series justinus
fortune-mod-thebigbangtheory 1603122342-1 10 0.00 Fortune quotes from The Big Bang Theory maandree
gambit 15.1.1-7 1 0.00 Tools for doing computation in game theory orphan
gambit-git 16.0.1.r11.ge311dbed-2 2 0.00 Tools for doing computation in game theory - git version orphan
jdftx 1.6.0-2 1 0.00 Software for joint density functional theory a.kudelin
libreoffice-extension-ooolilypond 0.5.7-1 3 0.00 With OOoLilyPond (OLy) you can use musical notation within OpenOffice.org. Use it for writing a book on music theory or for writing down exercises for music instruments or voice which need to be commented with text. delta48
lua-colors 8.05.26-5 2 0.00 HSL Color Theory Computation in Lua alerque
lua51-colors 8.05.26-5 2 0.00 HSL Color Theory Computation in Lua alerque
lua52-colors 8.05.26-5 2 0.00 HSL Color Theory Computation in Lua alerque
lua53-colors 8.05.26-5 2 0.00 HSL Color Theory Computation in Lua alerque
music-theory 0.0.4-2 0 0.00 Go models of Note, Scale, Chord and Key jahway603
ntl-threading 9.10.0-1 0 0.00 A Library for doing Number Theory justinus
octave-informationtheory 0.1.8-3 2 0.00 Functions and routines for basic Information Theory definitions, and source coding. orphan
opentheory 1:1.4.20180810-1 1 0.00 a tool for processing higher-order logic theory packages xrchz
opentheory-git 1.3.r1493.45d7d5e5-2 0 0.00 a tool for processing higher-order logic theory packages orphan
opium 4.1-1 0 0.00 pseudopotential generator for density functional theory jspencer
pari-git 20200425.46e7f37c5-1 0 0.00 Computer algebra system designed for fast computations in number theory orphan
pari25 2.5.5-2 2 0.00 Computer algebra system designed for fast computations in number theory laurenth
perl-math-prime-util 0.73.git-4 1 0.00 Math::Prime::Util - utilities related to prime numbers, including fast sieves and factoring (ntheory) trizen
perl-set-intersection 0.04-2 0 0.00 Perl package to get intersection (of set theory) of ARRAYs. bunder
phorward 0.24.0-1 0 0.00 C/C++ library and tools for dynamic data structures, regular expressions, etc. codepilot
python-nifty 5.0.1-1 2 0.00 Versatile library designed to enable the development of signal inference algorithms that operate regardless of the underlying grids (spatial, spectral, temporal, ...) and their resolutions edh
python-nifty-git 5.0.1.r174.g12c5065b-1 1 0.00 Versatile library designed to enable the development of signal inference algorithms that operate regardless of the underlying grids (spatial, spectral, temporal, ...) and their resolutions edh
python-persisting-theory 0.2.1-4 0 0.00 Registries that can autodiscover values accross your project apps getzze
rgepp r24.1d9b740-1 0 0.00 Template-based C++ class library for solving renormaliztion group equations in quantum field theory Dylan14
string-theory 3.5-1 0 0.00 Flexible UTF-8 string library and type-safe formatter for C++ Zrax
jflap-beta 8.0-3 4 0.00 Software for learning the basic concepts of Formal Languages and Automata Theory, latest version with custom SVG icon and GTK theming. ConfuZzled
octopus 11.3-2 4 0.00 Real-space Time-Dependent Density Functional Theory code a.kudelin
exciting 8-1 2 0.00 A full-potential all-electron density-functional-theory package a.kudelin
tikz-cd 0.9f-1 2 0.00 A TeX package to create commutative diagrams with TikZ FjolleJagt
jflap 7.1-1 22 0.00 Software to learning the basic concepts of Formal Languages and Automata Theory robertfoster
libxc 5.1.5-2 8 0.00 A library of exchange-correlation functionals for density-functional theory jspencer
sphinxdft 3.0-2 1 0.01 Toolkit for Density functional theory, continuum elasticity and multiband k.p models Olivermarquardt
cadabra2 2.3.6.8-1 5 0.01 A field-theory motivated approach to computer algebra a.kudelin
bloodhound 4.0.3-2 1 0.04 Use graph theory to reveal the hidden and often unintended relationships within an Active Directory GI_Jack
lua-colors-git 8.05.26.r7.gf373e79-1 1 0.05 HSL Color Theory Computation in Lua alerque
lua51-colors-git 8.05.26.r7.gf373e79-1 1 0.05 HSL Color Theory Computation in Lua alerque
lua52-colors-git 8.05.26.r7.gf373e79-1 1 0.05 HSL Color Theory Computation in Lua alerque
lua53-colors-git 8.05.26.r7.gf373e79-1 1 0.05 HSL Color Theory Computation in Lua alerque
python-musthe 1.0.0-1 2 0.05 Music theory implemented in Python. Notes, intervals, scales and chords. zsinx6
anarchism 15.3-3 26 0.48 Source of information regarding Anarchist (libertarian socialist) theory and practice. ariasuni

47 packages found. Page 1 of 1.