Some utility scripts I've knocked together, for my own understanding, while working through a course on elliptic curves. Mostly a bunch of things that are useful for investigation (finding things like rational points, identifying torsion, etc.). Includes a small implementation of finite fields to aid studying reductions.
I've tried to mention references where I've remembered. Might be mistakes, and I won't comment on efficiency. This was much more about helping me learn the content and get through long computations!
Must be built with ScopedTypeVariables KindSignatures, and DataKinds, so make sure your compiler supports these (ghci pragmas are added). You should be able to just navigate to the source directory and run stack ghci to be dropped into an environment where you can use everything.