| anarchism |
15.3-3 |
23 |
0.01 |
Source of information regarding Anarchist (libertarian socialist) theory and practice. |
ariasuni
|
| jflap |
7.1-1 |
22 |
0.15 |
Software to learning the basic concepts of Formal Languages and Automata Theory |
robertfoster
|
| fortune-mod-thebigbangtheory |
1603122342-1 |
10 |
0.00 |
Fortune quotes from The Big Bang Theory |
maandree
|
| libxc |
4.3.4-4 |
8 |
0.31 |
A library of exchange-correlation functionals for density-functional theory |
jspencer
|
| 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
|
| octopus |
9.2-3 |
4 |
0.00 |
Real-space Time-Dependent Density Functional Theory code |
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
|
| cadabra2 |
2.3.6.8-1 |
4 |
0.00 |
A field-theory motivated approach to computer algebra |
a.kudelin
|
| 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
|
| tikz-cd |
0.9f-1 |
2 |
0.04 |
A TeX package to create commutative diagrams with TikZ |
FjolleJagt
|
| 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
|
| pari25 |
2.5.5-2 |
2 |
0.00 |
Computer algebra system designed for fast computations in number theory |
laurenth
|
| octave-informationtheory |
0.1.8-3 |
2 |
0.00 |
Functions and routines for basic Information Theory definitions, and source coding. |
orphan
|
| lua53-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
|
| lua51-colors |
8.05.26-4 |
2 |
0.00 |
HSL Color Theory Computation in Lua |
caleb
|
| lua-colors |
8.05.26-4 |
2 |
0.00 |
HSL Color Theory Computation in Lua |
caleb
|
| gambit-git |
16.0.1.r11.ge311dbed-1 |
2 |
0.00 |
Tools for doing computation in game theory - git version |
haawda
|
| exciting |
7.14-1 |
2 |
0.03 |
A full-potential all-electron density-functional-theory package |
a.kudelin
|
| 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-musthe |
1.0.0-1 |
1 |
0.00 |
Music theory implemented in Python. Notes, intervals, scales and chords. |
zsinx6
|
| perl-math-prime-util |
0.73.git-2 |
1 |
0.00 |
Math::Prime::Util - utilities related to prime numbers, including fast sieves and factoring (ntheory) |
trizen
|
| opentheory |
1:1.4.20180810-1 |
1 |
0.00 |
a tool for processing higher-order logic theory packages |
xrchz
|
| jdftx |
1.6.0-1 |
1 |
0.00 |
Software for joint density functional theory |
a.kudelin
|
| gambit |
15.1.1-6 |
1 |
0.00 |
Tools for doing computation in game theory |
haawda
|
| dalton |
2018.2-2 |
1 |
0.00 |
A tool for a wide range of molecular properties at different levels of theory |
a.kudelin
|
| c-graph |
2.0.1-1 |
1 |
0.00 |
Demonstrates the theory of convolution underlying engineering systems and signal analysis. |
haawda
|
| 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
|
| string-theory |
3.4-1 |
0 |
0.00 |
Flexible UTF-8 string library and type-safe formatter for C++ |
Zrax
|
| sphinxdft |
3.0-1 |
0 |
0.00 |
Toolkit for Density functional theory, continuum elasticity and multiband k.p models |
Olivermarquardt
|
| rgepp |
r24.1d9b740-1 |
0 |
0.00 |
Template-based C++ class library for solving renormaliztion group equations in quantum field theory |
Dylan14
|
| python2-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
|
| python-persisting-theory |
0.2.1-2 |
0 |
0.00 |
Registries that can autodiscover values accross your project apps |
getzze
|
| phorward |
0.24.0-1 |
0 |
0.00 |
C/C++ library and tools for dynamic data structures, regular expressions, etc. |
codepilot
|
| perl-set-intersection |
0.04-2 |
0 |
0.00 |
Perl package to get intersection (of set theory) of ARRAYs. |
bunder
|
| pari-git |
20200425.46e7f37c5-1 |
0 |
0.00 |
Computer algebra system designed for fast computations in number theory |
orphan
|
| opium |
4.1-1 |
0 |
0.00 |
pseudopotential generator for density functional theory |
jspencer
|
| opentheory-git |
1.3.r1493.45d7d5e5-2 |
0 |
0.00 |
a tool for processing higher-order logic theory packages |
orphan
|
| ntl-threading |
9.10.0-1 |
0 |
0.00 |
A Library for doing Number Theory |
justinus
|
| music-theory |
0.0.4-2 |
0 |
0.00 |
Go models of Note, Scale, Chord and Key |
jahway603
|
| lua53-colors-git |
8.05.26.r7.gf373e79-1 |
0 |
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
|
| lua51-colors-git |
8.05.26.r7.gf373e79-1 |
0 |
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
|
| flint1 |
1.6-1 |
0 |
0.00 |
Fast Library for Number Theory 1.x series |
justinus
|
| 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
|
| arend |
1.5.0-1 |
0 |
0.00 |
Proof assistant based on Homotopy Type Theory |
knisht
|