index
:
nixpkgs
add-beancount-ing-diba
add-cargo-espflash
add-cargo-feature-set
add-dodo
add-ghostie
add-iceportal
add-kdash
add-ldproxy
add-nemu
add-notifymuch
add-openbbterminal
add-swappy
add-vim-plugins
backport/update-python-pscript
cargo-espflash-license
cargo-public-api
fix-node-exporter-backslash-in-exec
fix-node-exporter-backslash-in-exec-tmp
init-cjson
init-fbcat
init-pdfium
init-prometheus-mpd-exporter
init-tageditor
init-tpm2-tss-engine
init-unused
master
mdbook-toc
nixos-22.11
submitting-changes-gitrm
update-bison
update-gitlint
update-libquotient
update-mdbook-open-on-gh
update-mutt
update-python-pscript
update-rust-analyzer
update-some-packages
update-tageditor
update-tasknc
update-tig
update-toot
update-ugrep
update-wordgrinder
update-zellij
updates
Contrib clone of nixpkgs
matthias
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
idris-modules
Mode
Name
Size
-rw-r--r--
README.md
98
log
stats
plain
-rw-r--r--
TODO.md
101
log
stats
plain
-rw-r--r--
array.nix
556
log
stats
plain
-rw-r--r--
bi.nix
636
log
stats
plain
-rw-r--r--
bifunctors.nix
525
log
stats
plain
-rw-r--r--
build-builtin-package.nix
505
log
stats
plain
-rw-r--r--
build-idris-package.nix
2233
log
stats
plain
-rw-r--r--
bytes.nix
495
log
stats
plain
-rw-r--r--
canvas.nix
542
log
stats
plain
-rw-r--r--
categories.nix
495
log
stats
plain
-rw-r--r--
coda.nix
589
log
stats
plain
-rw-r--r--
comonad.nix
512
log
stats
plain
-rw-r--r--
composition.nix
574
log
stats
plain
-rw-r--r--
config.nix
664
log
stats
plain
-rw-r--r--
console.nix
650
log
stats
plain
-rw-r--r--
containers.nix
613
log
stats
plain
-rw-r--r--
cube.nix
535
log
stats
plain
-rw-r--r--
default.nix
5186
log
stats
plain
-rw-r--r--
derive.nix
641
log
stats
plain
-rw-r--r--
descncrunch.nix
630
log
stats
plain
-rw-r--r--
dict.nix
616
log
stats
plain
-rw-r--r--
dom.nix
615
log
stats
plain
-rw-r--r--
electron.nix
641
log
stats
plain
-rw-r--r--
eternal.nix
978
log
stats
plain
-rw-r--r--
farrp.nix
596
log
stats
plain
-rw-r--r--
free.nix
591
log
stats
plain
-rw-r--r--
fsm.nix
540
log
stats
plain
-rw-r--r--
glfw.nix
740
log
stats
plain
-rw-r--r--
graphviz.nix
696
log
stats
plain
-rw-r--r--
hamt.nix
579
log
stats
plain
-rw-r--r--
hezarfen.nix
585
log
stats
plain
-rw-r--r--
hrtime.nix
625
log
stats
plain
-rw-r--r--
html.nix
696
log
stats
plain
-rw-r--r--
http.nix
590
log
stats
plain
-rw-r--r--
http4idris.nix
576
log
stats
plain
-rw-r--r--
iaia.nix
556
log
stats
plain
-rw-r--r--
idris-wrapper.nix
506
log
stats
plain
-rw-r--r--
idrishighlighter.nix
688
log
stats
plain
-rw-r--r--
idrisscript.nix
578
log
stats
plain
-rw-r--r--
ipkgparser.nix
628
log
stats
plain
-rw-r--r--
jheiling-extras.nix
579
log
stats
plain
-rw-r--r--
jheiling-js.nix
618
log
stats
plain
-rw-r--r--
js.nix
572
log
stats
plain
-rw-r--r--
lens.nix
579
log
stats
plain
-rw-r--r--
lightyear.nix
581
log
stats
plain
-rw-r--r--
logic.nix
641
log
stats
plain
-rw-r--r--
mapping.nix
520
log
stats
plain
-rw-r--r--
mhd.nix
722
log
stats
plain
-rw-r--r--
pacman.nix
619
log
stats
plain
-rw-r--r--
patricia.nix
643
log
stats
plain
-rw-r--r--
permutations.nix
560
log
stats
plain
-rw-r--r--
pfds.nix
572
log
stats
plain
-rw-r--r--
pipes.nix
594
log
stats
plain
-rw-r--r--
posix.nix
563
log
stats
plain
-rw-r--r--
quantities.nix
561
log
stats
plain
-rw-r--r--
rationals.nix
609
log
stats
plain
-rw-r--r--
recursion_schemes.nix
671
log
stats
plain
-rw-r--r--
refined.nix
596
log
stats
plain
-rw-r--r--
sdl.nix
631
log
stats
plain
-rw-r--r--
sdl2.nix
677
log
stats
plain
-rw-r--r--
semidirect.nix
568
log
stats
plain
-rw-r--r--
setoids.nix
548
log
stats
plain
-rw-r--r--
smproc.nix
598
log
stats
plain
-rw-r--r--
snippets.nix
607
log
stats
plain
-rw-r--r--
software_foundations.nix
590
log
stats
plain
-rw-r--r--
specdris.nix
588
log
stats
plain
-rw-r--r--
tap.nix
603
log
stats
plain
-rw-r--r--
test.nix
591
log
stats
plain
-rw-r--r--
tfrandom.nix
562
log
stats
plain
-rw-r--r--
tlhydra.nix
597
log
stats
plain
-rw-r--r--
tomladris.nix
605
log
stats
plain
-rw-r--r--
tp.nix
569
log
stats
plain
-rw-r--r--
tparsec.nix
612
log
stats
plain
-rw-r--r--
transducers.nix
557
log
stats
plain
-rw-r--r--
trees.nix
527
log
stats
plain
-rw-r--r--
union_type.nix
516
log
stats
plain
-rw-r--r--
vdom.nix
552
log
stats
plain
-rw-r--r--
vecspace.nix
545
log
stats
plain
-rw-r--r--
webgl.nix
597
log
stats
plain
-rw-r--r--
with-packages.nix
438
log
stats
plain
-rw-r--r--
wl-pprint.nix
495
log
stats
plain
-rw-r--r--
wyvern.nix
682
log
stats
plain
-rw-r--r--
xhr.nix
589
log
stats
plain
-rw-r--r--
yaml.nix
591
log
stats
plain
-rw-r--r--
yampa.nix
641
log
stats
plain