Skip to content
@softdevteam

Software Development Team

Popular repositories Loading

  1. grmtools grmtools Public

    Rust grammar tool libraries and binaries

    Rust 535 33

  2. krun krun Public

    High fidelity benchmark runner

    Python 86 10

  3. mattermost-github-integration mattermost-github-integration Public

    GitHub integration for Mattermost

    Python 83 50

  4. snare snare Public

    snare: GitHub webhooks daemon

    Rust 64 4

  5. eco eco Public

    Editor for language composition

    Python 58 11

  6. lang_tester lang_tester Public

    Rust testing framework for compilers and VMs

    Rust 50 6

Repositories

Showing 10 of 90 repositories
  • rustgc_paper Public
    TeX 0 0 0 0 Updated Mar 25, 2025
  • softdevbib Public

    soft-dev.org BibTeX

    TeX 2 8 0 0 Updated Mar 25, 2025
  • alloy Public Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    Rust 5 13,830 3 0 Updated Mar 25, 2025
  • grmtools Public

    Rust grammar tool libraries and binaries

    Rust 535 33 14 1 Updated Mar 24, 2025
  • rustgc_paper_experiment Public
    Python 0 2 0 0 Updated Mar 21, 2025
  • v8_paper_experiment Public
    Makefile 0 0 0 0 Updated Mar 19, 2025
  • sparsevec Public

    Compress sparse tables using row displacement

    Rust 9 2 1 0 Updated Mar 18, 2025
  • packedvec Public

    Store vectors of integers efficiently

    Rust 6 4 0 0 Updated Mar 17, 2025
  • vob Public

    Vector of Bits

    Rust 15 4 0 0 Updated Mar 17, 2025
  • pliss.org Public

    pliss.org website

    HTML 0 1 0 0 Updated Mar 6, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…