43 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
c-graph 2.0.1-1 1 0.00 Demonstrates the theory of convolution underlying engineering systems and signal analysis. haawda
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-5 1 0.00 Tools for doing computation in game theory bsosenba
gambit-git 16.0.1.r6.g700a9d74-3 2 0.00 Tools for doing computation in game theory - git version bsosenba
jflap 7.1-1 21 0.00 Software to learning the basic concepts of Formal Languages and Automata Theory robertfoster
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
libxc3 3.0.1-2 0 0.00 library of exchange-correlation functionals for density-functional theory (version 3) katherlee
lua-colors 8.05.26-4 2 0.00 HSL Color Theory Computation in Lua caleb
lua51-colors 8.05.26-4 2 0.00 HSL Color Theory Computation in Lua caleb
lua52-colors 8.05.26-4 2 0.00 HSL Color Theory Computation in Lua caleb
lua53-colors 8.05.26-4 2 0.00 HSL Color Theory Computation in Lua caleb
music-theory 0.0.4-2 0 0.00 Go models of Note, Scale, Chord and Key ragouel
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-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-persisting-theory 0.2.1-2 0 0.00 Registries that can autodiscover values accross your project apps getzze
python2-nupic-git 2018_04_04-1 0 0.00 Numenta Platform for Intelligent Computing is an implementation of Hierarchical Temporal Memory (HTM), a theory of intelligence based strictly on the neuroscience of the neocortex. orphan
python2-persisting-theory 0.2.1-2 0 0.00 Registries that can autodiscover values accross your project apps getzze
string-theory 3.4-1 0 0.00 Flexible UTF-8 string library and type-safe formatter for C++ Zrax
perl-math-prime-util 0.73.git-1 1 0.00 Math::Prime::Util - utilities related to prime numbers, including fast sieves and factoring (ntheory) trizen
boolector 3.2.0-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
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-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
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
jdftx 1.6.0-1 1 0.00 Software for joint density functional theory a.kudelin
python-musthe 1.0.0-1 1 0.01 Music theory implemented in Python. Notes, intervals, scales and chords. zsinx6
cadabra2 2.3.5-1 4 0.02 A field-theory motivated approach to computer algebra a.kudelin
jflap-beta 8.0-3 4 0.02 Software for learning the basic concepts of Formal Languages and Automata Theory, latest version with custom SVG icon and GTK theming. ConfuZzled
libxc 4.3.4-4 7 0.02 A library of exchange-correlation functionals for density-functional theory jspencer
octopus 9.2-3 4 0.02 Real-space Time-Dependent Density Functional Theory code a.kudelin
anarchism 15.3-3 23 0.24 Source of information regarding Anarchist (libertarian socialist) theory and practice. ariasuni
exciting 7.14-1 2 0.51 A full-potential all-electron density-functional-theory package a.kudelin
tikz-cd 0.9f-1 2 0.78 A TeX package to create commutative diagrams with TikZ FjolleJagt

43 packages found. Page 1 of 1.