pythonmusthe 
1.0.01 
1 
0.00 
Music theory implemented in Python. Notes, intervals, scales and chords. 
zsinx6

stringtheory 
3.41 
0 
0.00 
Flexible UTF8 string library and typesafe formatter for C++ 
Zrax

opentheory 
1:1.4.201808101 
1 
0.00 
a tool for processing higherorder logic theory packages 
xrchz

perlmathprimeutil 
0.73.git2 
1 
0.00 
Math::Prime::Util  utilities related to prime numbers, including fast sieves and factoring (ntheory) 
trizen

jflap 
7.11 
22 
0.16 
Software to learning the basic concepts of Formal Languages and Automata Theory 
robertfoster

fleurdevelop 
latest4 
0 
0.00 
FLEUR is a featurefull and freely available FLAPW (fullpotential linearized augmented planewave) code, based on densityfunctional theory. 
R.Hilgers

sphinxdft 
2.71 
0 
0.00 
Toolkit for Density functional theory, continuum elasticity and multiband k.p models 
Olivermarquardt

fortunemodthebigbangtheory 
16031223421 
10 
0.00 
Fortune quotes from The Big Bang Theory 
maandree

pari25 
2.5.52 
2 
0.00 
Computer algebra system designed for fast computations in number theory 
laurenth

arend 
1.5.01 
0 
0.00 
Proof assistant based on Homotopy Type Theory 
knisht

ntlthreading 
9.10.01 
0 
0.00 
A Library for doing Number Theory 
justinus

flint1 
1.61 
0 
0.00 
Fast Library for Number Theory 1.x series 
justinus

opium 
4.11 
0 
0.00 
pseudopotential generator for density functional theory 
jspencer

libxc 
4.3.44 
8 
0.34 
A library of exchangecorrelation functionals for densityfunctional theory 
jspencer

musictheory 
0.0.42 
0 
0.00 
Go models of Note, Scale, Chord and Key 
jahway603

cadabra2git 
2.2.71 
5 
0.00 
A computer algebra system (prerelease version) designed specifically for the solution of problems encountered in field theory. 
init

boolector 
3.2.11 
1 
0.00 
Boolector is an efficient SMT solver for the quantifierfree theory of bitvectors in combination with the quantifierfree extensional theory of arrays. 
Ice_Phoenix

gambitgit 
16.0.1.r11.ge311dbed1 
2 
0.00 
Tools for doing computation in game theory  git version 
haawda

gambit 
15.1.16 
1 
0.00 
Tools for doing computation in game theory 
haawda

cgraph 
2.0.11 
1 
0.00 
Demonstrates the theory of convolution underlying engineering systems and signal analysis. 
haawda

python2persistingtheory 
0.2.12 
0 
0.00 
Registries that can autodiscover values accross your project apps 
getzze

pythonpersistingtheory 
0.2.12 
0 
0.00 
Registries that can autodiscover values accross your project apps 
getzze

tikzcd 
0.9f1 
2 
0.05 
A TeX package to create commutative diagrams with TikZ 
FjolleJagt

pythonniftygit 
5.0.1.r174.g12c5065b1 
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

pythonnifty 
5.0.11 
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

rgepp 
r24.1d9b7401 
0 
0.00 
Templatebased C++ class library for solving renormaliztion group equations in quantum field theory 
Dylan14

libreofficeextensionooolilypond 
0.5.71 
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

jflapbeta 
8.03 
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

phorward 
0.24.01 
0 
0.00 
C/C++ library and tools for dynamic data structures, regular expressions, etc. 
codepilot

lua53colorsgit 
8.05.26.r7.gf373e791 
0 
0.00 
HSL Color Theory Computation in Lua 
caleb

lua53colors 
8.05.264 
2 
0.00 
HSL Color Theory Computation in Lua 
caleb

lua52colorsgit 
8.05.26.r7.gf373e791 
0 
0.00 
HSL Color Theory Computation in Lua 
caleb

lua52colors 
8.05.264 
2 
0.00 
HSL Color Theory Computation in Lua 
caleb

lua51colorsgit 
8.05.26.r7.gf373e791 
0 
0.00 
HSL Color Theory Computation in Lua 
caleb

lua51colors 
8.05.264 
2 
0.00 
HSL Color Theory Computation in Lua 
caleb

luacolorsgit 
8.05.26.r7.gf373e791 
0 
0.00 
HSL Color Theory Computation in Lua 
caleb

luacolors 
8.05.264 
2 
0.00 
HSL Color Theory Computation in Lua 
caleb

perlsetintersection 
0.042 
0 
0.00 
Perl package to get intersection (of set theory) of ARRAYs. 
bunder

anarchism 
15.33 
23 
0.01 
Source of information regarding Anarchist (libertarian socialist) theory and practice. 
ariasuni

octopus 
9.23 
4 
0.00 
Realspace TimeDependent Density Functional Theory code 
a.kudelin

jdftx 
1.6.01 
1 
0.00 
Software for joint density functional theory 
a.kudelin

exciting 
7.141 
2 
0.03 
A fullpotential allelectron densityfunctionaltheory package 
a.kudelin

dalton 
2018.22 
1 
0.00 
A tool for a wide range of molecular properties at different levels of theory 
a.kudelin

cadabra2 
2.3.6.81 
4 
0.00 
A fieldtheory motivated approach to computer algebra 
a.kudelin

python2nupicgit 
2018_04_041 
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

parigit 
20200425.46e7f37c51 
0 
0.00 
Computer algebra system designed for fast computations in number theory 
orphan

opentheorygit 
1.3.r1493.45d7d5e52 
0 
0.00 
a tool for processing higherorder logic theory packages 
orphan

octaveinformationtheory 
0.1.83 
2 
0.00 
Functions and routines for basic Information Theory definitions, and source coding. 
orphan
