This website works better with JavaScript.
Home
Explore Monorepo
Sign In
kookie
/
nomicon
Watch
1
Star
0
Fork
You've already forked nomicon
0
Code
Issues
Projects
Releases
1
Activity
My personal project and infrastructure archive
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
375309
Commits
7
Branches
1
Tag
1.4 GiB
Nix
96.1%
Shell
1.4%
Rust
0.8%
Python
0.6%
Perl
0.3%
Other
0.2%
Tag:
Branch:
Tree:
129d4dd6cd
launchpad/nixpkgs/master
launchpad/website
main
mullvad-ns
wip/little-gl
wip/nixpkgs-raku
wip/yesman
git-hyperpull-0.1.0
Branches
Tags
${ item.name }
Create tag
${ searchTerm }
Create branch
${ searchTerm }
from '129d4dd6cd'
${ noResults }
nomicon
/
pkgs
/
development
/
idris-modules
History
…
..
README.md
…
TODO.md
…
array.nix
…
bi.nix
…
bifunctors.nix
…
build-builtin-package.nix
…
build-idris-package.nix
…
bytes.nix
…
canvas.nix
…
categories.nix
…
coda.nix
…
comonad.nix
…
composition.nix
…
config.nix
…
console.nix
…
containers.nix
…
cube.nix
…
default.nix
…
derive.nix
…
descncrunch.nix
…
dict.nix
…
dom.nix
…
electron.nix
…
eternal.nix
…
farrp.nix
…
free.nix
…
fsm.nix
…
glfw.nix
…
graphviz.nix
…
hamt.nix
…
hezarfen.nix
…
hrtime.nix
…
html.nix
…
http.nix
…
http4idris.nix
…
iaia.nix
…
idris-wrapper.nix
…
idrishighlighter.nix
…
idrisscript.nix
…
ipkgparser.nix
…
jheiling-extras.nix
…
jheiling-js.nix
…
js.nix
…
lens.nix
…
lightyear.nix
…
logic.nix
…
mapping.nix
…
mhd.nix
…
pacman.nix
…
patricia.nix
…
permutations.nix
…
pfds.nix
…
pipes.nix
…
posix.nix
…
quantities.nix
…
rationals.nix
…
recursion_schemes.nix
…
refined.nix
…
sdl.nix
…
sdl2.nix
…
semidirect.nix
…
setoids.nix
…
smproc.nix
…
snippets.nix
…
software_foundations.nix
…
specdris.nix
…
tap.nix
…
test.nix
…
tfrandom.nix
…
tlhydra.nix
…
tomladris.nix
…
tp.nix
…
tparsec.nix
…
transducers.nix
…
trees.nix
…
union_type.nix
…
vdom.nix
…
vecspace.nix
…
webgl.nix
…
with-packages.nix
…
wl-pprint.nix
…
wyvern.nix
…
xhr.nix
…
yaml.nix
…
yampa.nix
…
README.md
Moved to
/doc/languages-frameworks/idris.section.md