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

boolector 
3.2.22 
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

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

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.17 
1 
0.00 
Tools for doing computation in game theory 
orphan

gambitgit 
16.0.1.r11.ge311dbed2 
2 
0.00 
Tools for doing computation in game theory  git version 
orphan

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

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.265 
2 
0.00 
HSL Color Theory Computation in Lua 
alerque

lua51colors 
8.05.265 
2 
0.00 
HSL Color Theory Computation in Lua 
alerque

lua52colors 
8.05.265 
2 
0.00 
HSL Color Theory Computation in Lua 
alerque

lua53colors 
8.05.265 
2 
0.00 
HSL Color Theory Computation in Lua 
alerque

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.git4 
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

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

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

pythonpersistingtheory 
0.2.14 
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.51 
0 
0.00 
Flexible UTF8 string library and typesafe formatter for C++ 
Zrax

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 
11.32 
4 
0.00 
Realspace TimeDependent Density Functional Theory code 
a.kudelin

exciting 
81 
2 
0.00 
A fullpotential allelectron densityfunctionaltheory package 
a.kudelin

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

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

libxc 
5.1.52 
8 
0.00 
A library of exchangecorrelation functionals for densityfunctional theory 
jspencer

sphinxdft 
3.02 
1 
0.01 
Toolkit for Density functional theory, continuum elasticity and multiband k.p models 
Olivermarquardt

cadabra2 
2.3.6.81 
5 
0.01 
A fieldtheory motivated approach to computer algebra 
a.kudelin

bloodhound 
4.0.32 
1 
0.04 
Use graph theory to reveal the hidden and often unintended relationships within an Active Directory 
GI_Jack

luacolorsgit 
8.05.26.r7.gf373e791 
1 
0.05 
HSL Color Theory Computation in Lua 
alerque

lua51colorsgit 
8.05.26.r7.gf373e791 
1 
0.05 
HSL Color Theory Computation in Lua 
alerque

lua52colorsgit 
8.05.26.r7.gf373e791 
1 
0.05 
HSL Color Theory Computation in Lua 
alerque

lua53colorsgit 
8.05.26.r7.gf373e791 
1 
0.05 
HSL Color Theory Computation in Lua 
alerque

pythonmusthe 
1.0.01 
2 
0.05 
Music theory implemented in Python. Notes, intervals, scales and chords. 
zsinx6

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