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

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

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

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

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

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

gambit 
15.1.15 
1 
0.00 
Tools for doing computation in game theory 
bsosenba

gambitgit 
16.0.1.r6.g700a9d743 
2 
0.00 
Tools for doing computation in game theory  git version 
bsosenba

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

luacolors 
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

lua51colors 
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

lua52colors 
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

lua53colors 
8.05.264 
2 
0.00 
HSL Color Theory Computation in Lua 
caleb

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

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

ntlthreading 
9.10.01 
0 
0.00 
A Library for doing Number Theory 
justinus

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

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

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

opium 
4.11 
0 
0.00 
pseudopotential generator for density functional theory 
jspencer

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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