Similar repositories to idris-community/nonstandard-library:

• idris-community/nonstandard-library github similar
• jfdm/idris2-toolkit github similar
• idris-community/idris2-slickedit github similar
• Kijewski/desugar-impl github similar
• zachcoyle/flake-templates github similar
• ngi-nix/briar github similar
• CodingCellist/idris2-buffered-channels github similar
• stefan-hoeck/idris2-complete github similar
• stefan-hoeck/idris2-experimental github similar
• CodingCellist/idris2-skeletons github similar
• stefan-hoeck/idris2-bytestring github similar
• dramforever/chipsalliance-playground-nix github similar
• stefan-hoeck/idris2-comonad github similar
• i077/flake-templates github similar
• johnrichardrinehart/JohnOS github similar
• stefan-hoeck/idris2-freer github similar
• stefan-hoeck/idris2-pretty-show github similar
• CodingCellist/idris2-dot-parse github similar
• stefan-hoeck/idris2-streaming github similar
• madman-bob/idris2-xml github similar
• madman-bob/idris2-jupyter github similar
• primeos/nixos-slides github similar
• ShinKage/idris2-sdl github similar
• polendri/idris-collections github similar
• SuperSandro2000/portable-nixos-container github similar
• vi-tality/vim-plugins-overlay github similar
• MarcelineVQ/idris2-bytes github similar
• MarcelineVQ/idris2-sarray github similar
• stefan-hoeck/idris2-todomvc github similar
• border-patrol/linear-circuits github similar
• idris-community/katla github similar
• zachcoyle/nix-config github similar
• HackerFoo/nix-symbiflow github similar
• timbertson/fetlock github similar
• stefan-hoeck/idris2-webidl github similar
• shlevy/nixos-riscv-bootstrap github similar
• colemickens/nixos-azure github similar
• arianvp/haskell-fido2 github similar
• stefan-hoeck/idris2-json github similar
• zamdzhiev/Qimaera github similar