string-theory
|
3.8-1 |
0 |
0.00
|
Flexible UTF-8 string library and type-safe formatter for C++ |
Zrax
|
2023-10-02 18:45 (UTC) |
sphinxdft
|
3.0.9-0 |
1 |
0.00
|
Toolkit for Density functional theory, continuum elasticity and multiband k.p models |
Olivermarquardt
|
2022-08-29 06:58 (UTC) |
shashchess
|
22-1 |
0 |
0.00
|
A try to implement Alexander Shashin's theory on a Stockfish's derived chess engine |
France97
|
2022-05-27 21:37 (UTC) |
rgepp
|
r32.65b23c8-1 |
0 |
0.00
|
Template-based C++ class library for solving renormaliztion group equations in quantum field theory |
Dylan14
|
2022-03-16 18:44 (UTC) |
r-rmtstat
|
0.3.1-9 |
0 |
0.00
|
Distributions, Statistics and Tests Derived from Random Matrix Theory |
BioArchLinuxBot
|
2024-04-24 19:12 (UTC) |
r-daglogo
|
1.40.0-1 |
0 |
0.00
|
dagLogo: a Bioconductor package for visualizing conserved amino acid sequence pattern in groups based on probability theory |
BioArchLinuxBot
|
2023-10-27 14:34 (UTC) |
r-cetf
|
1.14.0-1 |
0 |
0.00
|
Coexpression for Transcription Factors using Regulatory Impact Factors and Partial Correlation and Information Theory analysis |
BioArchLinuxBot
|
2023-11-01 12:47 (UTC) |
python-persisting-theory
|
1.0-1 |
0 |
0.00
|
Registries that can autodiscover values accross your project apps |
getzze
|
2023-07-12 23:17 (UTC) |
python-musthe
|
1.0.0-1 |
2 |
0.00
|
Music theory implemented in Python. Notes, intervals, scales and chords. |
zsinx6
|
2020-08-15 20:20 (UTC) |
perl-set-intersection
|
0.04-2 |
0 |
0.00
|
Perl package to get intersection (of set theory) of ARRAYs. |
bunder
|
2020-03-15 14:22 (UTC) |
perl-math-prime-util
|
0.73.git-4 |
1 |
0.00
|
Math::Prime::Util - utilities related to prime numbers, including fast sieves and factoring (ntheory) |
trizen
|
2021-10-06 15:31 (UTC) |
pari25
|
2.5.5-2 |
2 |
0.00
|
Computer algebra system designed for fast computations in number theory |
laurenth
|
2015-06-20 14:40 (UTC) |
pari-git
|
20200425.46e7f37c5-1 |
0 |
0.00
|
Computer algebra system designed for fast computations in number theory |
orphan
|
2020-04-25 21:12 (UTC) |
opium
|
4.1-1 |
0 |
0.00
|
pseudopotential generator for density functional theory |
jspencer
|
2019-08-28 21:19 (UTC) |
opentheory
|
1:1.4.20180810-1 |
1 |
0.00
|
a tool for processing higher-order logic theory packages |
xrchz
|
2018-09-27 12:13 (UTC) |
octopus
|
11.3-2 |
4 |
0.00
|
Real-space Time-Dependent Density Functional Theory code |
orphan
|
2021-11-27 16:06 (UTC) |
octave-informationtheory
|
0.1.8-3 |
4 |
0.00
|
Functions and routines for basic Information Theory definitions, and source coding |
carlosal1015
|
2022-01-24 19:47 (UTC) |
ntl-threading
|
9.10.0-1 |
0 |
0.00
|
A Library for doing Number Theory |
justinus
|
2016-09-19 02:33 (UTC) |
music-theory
|
0.0.4-2 |
0 |
0.00
|
Go models of Note, Scale, Chord and Key |
jahway603
|
2020-05-20 07:36 (UTC) |
lua53-colors-git
|
8.05.26.r7.gf373e79-4 |
1 |
0.00
|
HSL Color Theory Computation in Lua |
alerque
|
2024-03-26 10:43 (UTC) |
lua53-colors
|
8.05.26-6 |
2 |
0.00
|
HSL Color Theory Computation in Lua |
alerque
|
2024-03-27 22:44 (UTC) |
lua52-colors-git
|
8.05.26.r7.gf373e79-4 |
1 |
0.00
|
HSL Color Theory Computation in Lua |
alerque
|
2024-03-26 10:43 (UTC) |
lua52-colors
|
8.05.26-6 |
2 |
0.00
|
HSL Color Theory Computation in Lua |
alerque
|
2024-03-27 22:44 (UTC) |
lua51-colors-git
|
8.05.26.r7.gf373e79-4 |
1 |
0.00
|
HSL Color Theory Computation in Lua |
alerque
|
2024-03-26 10:43 (UTC) |
lua51-colors
|
8.05.26-6 |
2 |
0.00
|
HSL Color Theory Computation in Lua |
alerque
|
2024-03-27 22:44 (UTC) |
lua-colors-git
|
8.05.26.r7.gf373e79-4 |
1 |
0.00
|
HSL Color Theory Computation in Lua |
alerque
|
2024-03-26 10:43 (UTC) |
lua-colors
|
8.05.26-6 |
2 |
0.00
|
HSL Color Theory Computation in Lua |
alerque
|
2024-03-27 22:44 (UTC) |
libxc
|
6.2.2-1 |
10 |
0.00
|
A library of exchange-correlation functionals for density-functional theory |
carlosal1015
|
2023-06-15 17:28 (UTC) |
libreoffice-extension-ooolilypond
|
1.1.10-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. |
Flammkuchen
|
2024-03-27 14:04 (UTC) |
jflap-beta
|
7.1-4 |
5 |
0.01
|
Software for learning the basic concepts of Formal Languages and Automata Theory, latest version with custom SVG icon and GTK theming. |
swyter
|
2023-02-18 11:32 (UTC) |
jflap
|
7.1-3 |
25 |
0.09
|
Software to learning the basic concepts of Formal Languages and Automata Theory |
robertfoster
|
2023-06-22 11:08 (UTC) |
jdftx
|
1.7.0-1 |
2 |
0.00
|
Software for joint density functional theory |
a.kudelin
|
2022-02-08 11:11 (UTC) |
gambit-git
|
16.1.0a1-1 |
5 |
0.01
|
Tools for doing computation in game theory - git version |
flying-pombo
|
2023-09-02 03:42 (UTC) |
gambit
|
16.1.0-1 |
2 |
0.02
|
Tools for doing computation in game theory |
Mr.Smith1974
|
2023-12-04 10:35 (UTC) |
flint1
|
1.6-1 |
0 |
0.00
|
Fast Library for Number Theory 1.x series |
justinus
|
2016-08-18 06:36 (UTC) |
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
|
2020-07-11 16:13 (UTC) |
exciting
|
16-1 |
2 |
0.00
|
A full-potential all-electron density-functional-theory package |
a.kudelin
|
2022-04-07 18:00 (UTC) |
coltrane
|
4.1.2-1 |
0 |
0.00
|
It deals with all sorts of calculations around music theory and allows for graphical representations of it |
Phaotee
|
2023-04-13 19:20 (UTC) |
cadabra2-git
|
2.3.9.3-1 |
5 |
0.00
|
A computer algebra system (pre-release version) designed specifically for the solution of problems encountered in field theory. |
talleyhoe
|
2022-08-04 22:27 (UTC) |
cadabra2
|
2.4.5.7-1 |
4 |
0.00
|
A field-theory motivated approach to computer algebra |
carlosal1015
|
2024-04-23 17:54 (UTC) |
c-graph
|
2.0.1-1 |
1 |
0.00
|
Demonstrates the theory of convolution underlying engineering systems and signal analysis. |
orphan
|
2019-10-21 19:01 (UTC) |
boolector
|
3.2.2-2 |
2 |
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
|
2021-11-15 13:52 (UTC) |
bloodhound
|
4.3.1-1 |
2 |
0.00
|
Use graph theory to reveal the hidden and often unintended relationships within an Active Directory |
GI_Jack
|
2023-12-31 19:20 (UTC) |
arend
|
1.5.0-1 |
0 |
0.00
|
Proof assistant based on Homotopy Type Theory |
knisht
|
2020-10-10 11:27 (UTC) |
anarchism
|
15.3-3 |
27 |
0.00
|
Source of information regarding Anarchist (libertarian socialist) theory and practice. |
ariasuni
|
2020-10-08 18:45 (UTC) |