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.1-1 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
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
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-4 2 0.00 HSL Color Theory Computation in Lua caleb
lua-colors-git 8.05.26.r7.gf373e79-1 0 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
lua51-colors-git 8.05.26.r7.gf373e79-1 0 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
lua52-colors-git 8.05.26.r7.gf373e79-1 0 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
lua53-colors-git 8.05.26.r7.gf373e79-1 0 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 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-1 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-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
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.4-1 0 0.00 Flexible UTF-8 string library and type-safe formatter for C++ Zrax
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.00 Music theory implemented in Python. Notes, intervals, scales and chords. zsinx6
cadabra2 2.3.6.8-1 4 0.00 A field-theory motivated approach to computer algebra a.kudelin
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 9.2-3 4 0.00 Real-space Time-Dependent Density Functional Theory code a.kudelin
anarchism 15.3-3 23 0.04 Source of information regarding Anarchist (libertarian socialist) theory and practice. ariasuni
exciting 7.14-1 2 0.09 A full-potential all-electron density-functional-theory package a.kudelin
tikz-cd 0.9f-1 2 0.13 A TeX package to create commutative diagrams with TikZ FjolleJagt
jflap 7.1-1 22 0.47 Software to learning the basic concepts of Formal Languages and Automata Theory robertfoster
libxc 4.3.4-4 8 0.97 A library of exchange-correlation functionals for density-functional theory jspencer

47 packages found. Page 1 of 1.