Better python packages
This commit is contained in:
parent
5a9f9ec190
commit
91d825d8cc
|
@ -170,6 +170,7 @@ face global Information rgb:44ccee+b
|
||||||
|
|
||||||
face global MatchingChar ,rgb:665c54+bF
|
face global MatchingChar ,rgb:665c54+bF
|
||||||
|
|
||||||
|
|
||||||
## Filetype formatting
|
## Filetype formatting
|
||||||
|
|
||||||
hook global BufSetOption filetype=rust %{
|
hook global BufSetOption filetype=rust %{
|
||||||
|
|
|
@ -32,7 +32,10 @@ in rec {
|
||||||
rink numbat
|
rink numbat
|
||||||
ghc
|
ghc
|
||||||
( python310.withPackages (ps: with ps; [
|
( python310.withPackages (ps: with ps; [
|
||||||
ipython numpy matplotlib sympy scipy pwntools z3 tqdm pwntools mypy (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
|
numpy matplotlib sympy scipy pandas
|
||||||
|
pwntools z3 tqdm
|
||||||
|
pyusb usbtmc
|
||||||
|
ipython mypy (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
|
||||||
]))
|
]))
|
||||||
( agda.withPackages (ps: with ps; [ standard-library cubical ]) )
|
( agda.withPackages (ps: with ps; [ standard-library cubical ]) )
|
||||||
typst
|
typst
|
||||||
|
|
Loading…
Reference in New Issue
Block a user