Pinned Loading

1. idris-community/idris2-containers idris-community/idris2-containers Public

   Assorted concrete container types

   Idris 8 5

2. idris2-systemd idris2-systemd Public

   A systemd library

   Idris 2

3. idris2-oracle idris2-oracle Public

   C

4. idris2-fixed idris2-fixed Public

   Fixed dependent type for working with fixed-point arithmetic

   Idris 1

5. streaming-benchmarks streaming-benchmarks Public

   Streaming benchmarks focused on Idris2 and Haskell

   Shell 1

6. fasta-region-inspector fasta-region-inspector Public

   A bioinformatics tool for analyzing somatic hypermutation

   Haskell 19