pkgs/applications/science/

pkgs/applications/ · 14 packages and modules · 51 open pull requests

Busy below

logic 13 · math 10 · electronics 8 · misc 8 · biology 5 · machine-learning 5 · engineering 3 · robotics 3 · chemistry 2 · molecular-dynamics 2 · physics 2 · medicine 1 · programming 1

Packages and modules 14

quantum-espressorisk 10 upstream 7.6 0 2

glsurfrisk 7 no maintainer 0 0

ekrhyperrisk 3 0 0

gromacsrisk 2 1 3

openbugsrisk 2 1 0

tlapsrisk 2 1 0

why3risk 2 1 0

linux-gpibrisk 2 0 0

coqrisk 1 3 2

cplexrisk 1 1 0

easycryptrisk 1 1 0

easycrypt-runtestrisk 1 1 0

leo2risk 1 0 0

rocq-corerisk 1 0 0

Pull requests 51

treefmt: sha256 -> hash for fetchFromGitHub

#575090 by KAction · opened 3h ago · checks pass

treewide: use `desktopItems` (plural) instead of `desktopItem`

#511149 by PerchunPak · opened 6mo ago

Plotjuggler: init at 3.16.0

#505016 by Thieso · opened 6mo ago

glibcLocales{,Utf8}: signal availability via `meta.platforms`, not `null`

#481844 by uninsane · opened 9mo ago

cplex & oilrush: fix evaluation errors

#457769 by h0nIg · opened 11mo ago

treewide: replace `sha256 = <SRI>` with `hash` in fetchpatch calls

#451575 by uninsane · opened 12mo ago

openmodelica: v1.18.0 -> v1.25.1

#420403 by bgamari · opened 15mo ago · checks pass

lib.systems: deprecate `==` comparison between elaborated platforms

#380005 by MattSturgeon · opened 20mo ago · checks pass

mathematica: fix non-webdoc installs

#378480 by justinkb · opened 20mo ago · checks pass

boost: Split python module into separate derivation

#370251 by tobim · opened 21mo ago · checks pass

python3Packages: deprecate 'format = "other/pyproject"'

#355654 by natsukium · opened 23mo ago

wolfram: rename from mathematica for version >= 14.1.0 draft

#347648 by herberteuler · opened 2y ago

treewide: fix lints `Arg to lib.optional is a list` `*Flags not a list` draft

#337743 by Artturin · opened 2y ago

gromacs: set mainProgram draft

#336968 by urandom2 · opened 2y ago

inav-configurator6: init at 6.1.0

#320055 by ilya-epifanov · opened 2y ago

wrapCC, wrapBintools: use absolute paths draft

#314920 by tie · opened 2y ago

cvc5: add python package

#311171 by tsheinen · opened 2y ago

treewide: Use `genericBuild` or `runPhase` to run phases manually whenever appropriate draft

#299045 by ShamrockLee · opened 2y ago

[staging] autoAddDriverRunpathHook: init draft

#297106 by jonringer · opened 2y ago

KiCad: enable caching 3D models on hydra; assorted cleanup draft

#290338 by evils · opened 2y ago

draft: treewide: dotnet reorg: dotnet-sdk -> dotnet draft

#286134 by corngood · opened 2y ago

aliza: init at 1.9.7

#285657 by luxzeitlos · opened 2y ago

Lazier license checks

#276120 by infinisil · opened 2y ago

R: Replace /bin/sh draft

#275763 by nviets · opened 2y ago

python3Packages.pythonImportsCheckHook: restrict to propagated build inputs draft

#257527 by pbsds · opened 3y ago

build-rust-package: by default set well known environment variables to build with system libraries draft

#237849 by SuperSandro2000 · opened 3y ago

degrib: init at 2.25 draft

#237714 by MatthewCroughan · opened 3y ago

eggnog-mapper: fix darwin build draft

#236882 by natsukium · opened 3y ago

Fix KiCad on macOS draft

#229468 by rrbutani · opened 3y ago

anylogic-ple: init at 8.8.6

#224169 by Zahrun · opened 3y ago

coq: add support for -native-compiler yes draft

#224110 by Alizter · opened 3y ago

R: multiple version support

#222423 by nviets · opened 3y ago

pixelpulse2: init at 1.0.5 draft

#217223 by evils · opened 3y ago

freefem: init at unstable-2023-02-27 draft

#214155 by htngr · opened 3y ago

tapaal: init at 3.9.3

#203931 by joeriexelmans · opened 3y ago

Dissallow underscore in python pkg attribute

#197228 by merijnb · opened 3y ago

parsifal: init at 2.2.0 draft

#196189 by yuuyins · opened 4y ago

Draft: pysc2: 1.2 -> 4.0 draft

#194403 by erdnaxe · opened 4y ago

treewide: use lib.boolToCMakeString where possible

#187347 by SuperSandro2000 · opened 4y ago

rsactftool: init at unstable-2022-07-28

#184550 by emilytrau · opened 4y ago

tango-controls: init at 9.3.5 draft

#183077 by pmiddend · opened 4y ago

psipred: init at 4.0

#182336 by natsukium · opened 4y ago

crystfel-scripts: init at 0.10.1 draft

#177629 by pmiddend · opened 4y ago

dcm2niix: add DICOM validation tests

#170299 by rbreslow · opened 4y ago

Package mwptools draft

#166862 by TilCreator · opened 4y ago

tree-wide: fix unused installCheckPhase's (or be explicit about disabling them) draft

#166730 by dtzWill · opened 4y ago

modelio: init at 5.1.0 draft

#154188 by yuuyins · opened 4y ago · checks pass

cbc: enable threads and switch to openblas

#154160 by rmcgibbo · opened 4y ago

lib: etc

#113661 by CohenCyril · opened 5y ago

treewide: enable security hardening flags draft

#104091 by TredwellGit · opened 5y ago

vivado: init at 2017.2

#93436 by matthuszagh · opened 6y ago

Closed or merged in the synced window 16

gromacs: 2026.3 -> 2026.4

#571081 by markuskowa · merged 9d ago

various: OCaml multiple outputs

#567406 by georgyo · merged 2d ago

ocamlPackages.buildDunePackage: split dev output by default draft

#567354 by georgyo · closed 2w ago

rocq-core: 9.3+rc1 -> 9.3.0

#565451 by proux01 · merged 3w ago

[Backport release-26.05] easycrypt: 2026.07 -> 2026.09

#563918 by nixpkgs-ci · merged 4w ago

coq_8_{7,8,9}: fix build by adding missing camlp5

#562865 by iedame · merged 4w ago

easycrypt: 2026.07 -> 2026.09

#560298 by r-ryantm · merged 5w ago

[Backport release-26.05] coq: fix compilation following https://github.com/rocq-prover/rocq/pull/22327

#554727 by nixpkgs-ci · merged 8w ago

coq: fix compilation following https://github.com/rocq-prover/rocq/pull/22327

#554328 by proux01 · merged 8w ago

Merge coq-modules and rocq-modules derivations

#541797 by Zimmi48 · merged 8w ago

ffmpeg_4: almost drop

#336401 by emilazy · merged 2y ago

kicad-unstable: b7b64d959f -> 59575c19d8 draft

#335314 by uzytkownik · closed 5w ago

aiger: fix build with clang 16

#263782 by reckenrode · merged 2y ago

x86_64-darwin: fix packages that won’t build draft

#180931 by reckenrode · closed 3mo ago

verilator: specify lgpl3Only license

#125829 by ravenjoad · merged 5y ago

verilator: 4.110 -> 4.202

#125697 by ravenjoad · merged 5y ago

Issues 18

coq: mechanism to override version is confusing

#560483 by leana8959 · opened 5w ago · 0 comments

gcc: incorrect ABI on aarch64-darwin 6.topic: darwin 2.status: stale

#481285 by JyJyJcr · opened 9mo ago · 2 comments

[documentation] There is no documentation for `propagatedUserEnvPkgs` 6.topic: documentation

#347093 by AndersonTorres · opened 2y ago · 5 comments

[Tracking] Undocumented setup hooks 3.skill: sprintable 6.topic: emacs 6.topic: documentation

#341479 by tomodachi94 · opened 2y ago · 2 comments

elan: does not keep interpreter alive through nix gc 2.status: stale

#323961 by nomeata · opened 2y ago · 2 comments

mujoco: improve derivations 2.status: stale

#317947 by tmplt · opened 2y ago · 6 comments

Common pattern of `.${stdenv.hostPlatform.system} or (throw "Unsupported platform: ${stdenv.hostPlatform.system}")` should be encapsulated in library function 6.topic: stdenv 6.topic: best practices 2.status: stale

#314224 by pluiedev · opened 2y ago · 5 comments

package 4ti2 is missing dependency "which" 2.status: stale

#309745 by pdg137 · opened 2y ago · 0 comments

Build failure: haskellPackages.sbv (already marked as broken) 6.topic: haskell 2.status: stale

#282532 by lsrcz · opened 2y ago · 0 comments

wolfram-notebook: Qt issued a fatal error: Cannot find libdbus-1 in your system to resolve symbol 'dbus_get_local_machine_id'. 2.status: stale

#279311 by UlyssesZh · opened 2y ago · 10 comments

gromacs: builds possibly non-deterministic, pick up builder's cpu features 2.status: stale

#270525 by SomeoneSerge · opened 2y ago · 11 comments

CUDA-Team: migrate from `cudatoolkit` to `cudaPackages` 6.topic: closure size 6.topic: cuda

#232501 by ConnorBaker · opened 3y ago · 6 comments

CUDA-Team: migrate to `autoAddDriverRunpath` 6.topic: cuda

#232420 by ConnorBaker · opened 3y ago · 4 comments

Internal Snakemake import failure when outside of `nix develop` 6.topic: python 2.status: stale

#230376 by renatoGarcia · opened 3y ago · 0 comments

abc-verifier: Why do we use yosyshq's fork of the berkeley-abc/abc repo? 2.status: stale

#225659 by panicgh · opened 3y ago · 0 comments

Engineering apps 5.scope: tracking

#164019 by yuuyins · opened 4y ago · 10 comments

Coq setupHook searches paths of the form $prefix/lib/coq/$version which is not standard 6.topic: coq 2.status: stale

#113695 by CohenCyril · opened 5y ago · 6 comments

Add "linter" warning for common unstable fetchpatch URLs 6.topic: reproducible builds 2.status: stale

#72294 by nh2 · opened 6y ago · 7 comments