45 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
anarchism 15.3-3 27 0.00 Source of information regarding Anarchist (libertarian socialist) theory and practice. ariasuni 2020-10-08 18:45 (UTC)
jflap 7.1-3 25 0.11 Software to learning the basic concepts of Formal Languages and Automata Theory robertfoster 2023-06-22 11:08 (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)
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)
gambit-git 16.1.0a1-1 5 0.02 Tools for doing computation in game theory - git version flying-pombo 2023-09-02 03:42 (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)
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)
cadabra2 2.4.5.4-1 4 0.00 A field-theory motivated approach to computer algebra carlosal1015 2024-02-29 18:58 (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)
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)
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)
lua-colors 8.05.26-6 2 0.00 HSL Color Theory Computation in Lua alerque 2024-03-27 22:44 (UTC)
lua52-colors 8.05.26-6 2 0.00 HSL Color Theory Computation in Lua alerque 2024-03-27 22:44 (UTC)
lua53-colors 8.05.26-6 2 0.00 HSL Color Theory Computation in Lua alerque 2024-03-27 22:44 (UTC)
lua51-colors 8.05.26-6 2 0.00 HSL Color Theory Computation in Lua alerque 2024-03-27 22:44 (UTC)
jdftx 1.7.0-1 2 0.00 Software for joint density functional theory a.kudelin 2022-02-08 11:11 (UTC)
gambit 16.1.0-1 2 0.03 Tools for doing computation in game theory Mr.Smith1974 2023-12-04 10:35 (UTC)
exciting 16-1 2 0.00 A full-potential all-electron density-functional-theory package a.kudelin 2022-04-07 18:00 (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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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-8 0 0.00 Distributions, Statistics and Tests Derived from Random Matrix Theory BioArchLinuxBot 2023-12-29 12:06 (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)
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)
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)
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)
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)
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)
arend 1.5.0-1 0 0.00 Proof assistant based on Homotopy Type Theory knisht 2020-10-10 11:27 (UTC)

45 packages found. Page 1 of 1.