@MichaelMMacLeod
github

MichaelMMacLeod

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    17
  • Global Rank 706,165 (Top 25 %)
  • Followers 6
  • Following 3
  • Registered over 8 years ago
  • Most used languages
    Racket
         40.0 %
    Shell
         20.0 %
    Rust
         20.0 %
    Lean     20.0 %

Top repositories

1

kakoi

data structure editor
Rust
2
star
2

formal-merge-sort

WIP formally-verified implementation of mergesort (efficient; only allocates one auxiliary array, sorts arrays in-place)
Lean
2
star
3

pyret-utils

Racket
1
star
4

run-profile

Simple command-line tool for profiling across different git commits
Racket
1
star
5

secret-key-to-qr-code

Utilities for encoding / decoding a PGP secret key QR code
Shell
1
star