Skip to content

@atlas-computing-org Atlas Computing

Change the repository type filter

All

    Repositories list

    10 repositories

    • formal-specification-ide

      Public
      TypeScript
      •
      Other
      •5•19•8•2•Updated Feb 18, 2026Feb 18, 2026

    • dalek-lite

      Public
      A pure-Rust implementation of group operations on Ristretto and Curve25519
      Rust
      •
      Other
      •594•0•0•0•Updated Nov 3, 2025Nov 3, 2025

    • specTest

      Public
      Rust
      •0•0•0•0•Updated Oct 31, 2025Oct 31, 2025

    • bignums-lean

      Public
      Lean implementation of the bignums (arbitrary natural number represented as string)
      Lean
      •
      Other
      •0•0•0•0•Updated Jul 17, 2025Jul 17, 2025

    • x3dh

      Public
      x3dh from https://signal.org/docs/specifications/x3dh/
      Lean
      •0•0•0•1•Updated May 22, 2025May 22, 2025

    • x3dh-rust

      Public
      naive translation to rust from https://signal.org/docs/specifications/x3dh/
      Rust
      •0•0•0•0•Updated Apr 25, 2025Apr 25, 2025

    • verified-fips-in-rust

      Public
      Lean
      •0•4•1•0•Updated Apr 8, 2025Apr 8, 2025

    • fv-experiments

      Public
      Python
      •1•0•1•0•Updated Jan 26, 2025Jan 26, 2025

    • ELFSage

      Public
      A toy ELF parser/validator
      Lean
      •
      MIT License
      •6•0•0•0•Updated May 8, 2024May 8, 2024

    • CoqLeanTranslation

      Public
      Lean
      •
      MIT License
      •0•5•0•0•Updated Feb 13, 2024Feb 13, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.