home.social

Compiling Rust and Church Fathers. Strong typing in both.

Posts
41
Followers
30
Following
63
Joined 2025-12-21 · View on fosstodon.org →
  1. Sofos v0.3 is out.

    AI coding tool for the terminal focused on speed and control:

    - uses the model you choose (claude or gpt)
    - no downgraded agent model behind the scenes
    - bring your own API key
    - better suited for more complex tasks
    - written in pure Rust
    - free

    github.com/alexylon/sofos-code

  2. FerroCrypt started a few years ago as a small hobby project. The new version has been rewritten from the ground up and feels much more mature: a pure Rust library, CLI, and desktop app for local-only file & folder encryption, with passphrase and X25519 key-pair modes, `.fcr` files, streaming, and hardened extraction.

    Homepage: ferrocrypt.app
    Code: github.com/alexylon/ferrocrypt

  3. Added Dvorak and Colemak keyboards support, plus light and dark themes, to Clavirio — a terminal typing tutor written in Rust.

    Preferences are now saved in ~/.clavirio/settings.toml.

    Install with `cargo install clavirio`

    I’d love feedback on whether the new layouts and themes work correctly.

    clavir.io
    github.com/alexylon/clavirio

  4. Just published Clavirio on crates.io — a terminal typing tutor built with Rust and ratatui.

    Practice with 15 built-in lessons, live WPM/accuracy stats, and a virtual keyboard that shows which finger to use for the next key.

    Tested only on macOS, but I should have handled Linux and Windows too. Any feedback from those platforms is welcome.

    clavir.io
    crates.io/crates/clavirio
    github.com/alexylon/clavirio

  5. Been building a small typing tutor that runs in the terminal - Clavirio. It has progressive lessons, real-time stats, and a virtual keyboard that highlights the next expected key and flashes correct/wrong on each keystroke. All in Rust + ratatui.

    It's a humble little tool but I'm happy with how it turned out. If you find it useful, a GitHub star would mean a lot.
    Feedback is also very welcome :)

    github.com/alexylon/clavirio

  6. 🔐 Ferrocrypt: a tiny, easy-to-use, highly secure multi-platform encryption tool written in Rust — with both a CLI and GUI apps (Tauri + Dioxus). Symmetric + hybrid encryption modes included.

    github.com/alexylon/ferrocrypt