Vanessa McHale

  • Rewriting the Coreutils in ATS

    by Vanessa McHale | ATS

    I wanted to give a small demonstration of ATS, partly to document a little bit of how to use atspkg, partly to show how to (safely) beat C's performance in ATS, and partly an example of how to parse command-line arguments in ATS.

  • Fast Directory Traversals in Rust

    by Vanessa McHale | ATS

    I came across some interesting benchmark results recently, and I figured I'd give a short writeup.

  • Euler's Totient Function in ATS

    by Vanessa McHale | ATS

    Here I present two ways to write Euler's totient function in ATS. First we write our primality check:

  • Speeding up Math With ATS

    by Vanessa McHale | ATS

    I started work on my ATS math library recently; though I'm not sure it will be a wholehearted success, there were parts that deserve attention.

  • Permutations in Idris

    by Vanessa McHale | Idris

    I saw a recent Advent of Code problem, and I was a bit surprised to see that part 1 was basically what I had been working on with my permutations library for Idris.

    |