Skip to content
Change the repository type filter

All

    Repositories list

    • TeX
      0000Updated Nov 14, 2024Nov 14, 2024
    • Python
      2000Updated Nov 14, 2024Nov 14, 2024
    • pliss.org

      Public
      pliss.org website
      HTML
      1000Updated Nov 13, 2024Nov 13, 2024
    • alloy

      Public
      Empowering everyone to build reliable and efficient software.
      Rust
      Other
      13k220Updated Nov 12, 2024Nov 12, 2024
    • sd_audit

      Public
      Audit our public repos for security vulnerabilities
      Python
      2100Updated Nov 12, 2024Nov 12, 2024
    • yksom

      Public
      Rust
      Other
      6840Updated Nov 8, 2024Nov 8, 2024
    • grmtools

      Public
      Rust grammar tool libraries and binaries
      Rust
      Other
      31515130Updated Nov 7, 2024Nov 7, 2024
    • Port of Rust's hashmap backing implementation with support for finalizer elision.
      Rust
      Apache License 2.0
      288001Updated Nov 4, 2024Nov 4, 2024
    • natrob

      Public
      NArrow TRait OBjects: thin pointers to trait objects
      Rust
      Other
      2000Updated Oct 23, 2024Oct 23, 2024
    • soft-dev.org BibTeX
      TeX
      8200Updated Oct 15, 2024Oct 15, 2024
    • bdwgc

      Public
      The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehm-gc)
      C
      Other
      406000Updated Oct 2, 2024Oct 2, 2024
    • Rust testing framework for compilers and VMs
      Rust
      Other
      64910Updated Aug 30, 2024Aug 30, 2024
    • fm

      Public
      Non-backtracking fuzzy text matching
      Rust
      Other
      2100Updated Aug 30, 2024Aug 30, 2024
    • snare

      Public
      snare: GitHub webhooks daemon
      Rust
      Other
      46100Updated Jul 25, 2024Jul 25, 2024
    • grammars

      Public
      A collection of language grammars for `lrpar`
      Yacc
      3500Updated Jun 24, 2024Jun 24, 2024
    • pygrate2

      Public
      The Python programming language
      Python
      Other
      30k012Updated Jun 19, 2024Jun 19, 2024
    • TeX
      0100Updated Mar 27, 2024Mar 27, 2024
    • phdrs

      Public
      A Rust wrapper around `dl_iterate_phdr(3)`
      Rust
      Other
      4400Updated Mar 4, 2024Mar 4, 2024
    • cactus

      Public
      Immutable cactus stack
      Rust
      Other
      31000Updated Feb 16, 2024Feb 16, 2024
    • pygrate3

      Public
      Python
      Other
      4000Updated Feb 1, 2024Feb 1, 2024
    • vob

      Public
      Vector of Bits
      Rust
      Other
      31500Updated Nov 13, 2023Nov 13, 2023
    • depub

      Public
      Reduce the visibility of elements in a Rust code base
      Rust
      Other
      11700Updated Nov 9, 2023Nov 9, 2023
    • packedvec

      Public
      Store vectors of integers efficiently
      Rust
      Other
      3500Updated Nov 9, 2023Nov 9, 2023
    • sparsevec

      Public
      Compress sparse tables using row displacement
      Rust
      Other
      2710Updated Nov 9, 2023Nov 9, 2023
    • Testing github merge queues
      Shell
      1000Updated Nov 8, 2023Nov 8, 2023
    • GitHub integration for Mattermost
      Python
      Other
      507950Updated Nov 8, 2023Nov 8, 2023
    • A VM performance data analysis system
      Python
      Other
      71180Updated Jun 14, 2023Jun 14, 2023
    • TeX
      2000Updated May 15, 2023May 15, 2023
    • Yet Another Interpreter Written In Rust
      Rust
      MIT License
      1100Updated Apr 27, 2023Apr 27, 2023
    • ukiyo
      Rust
      1000Updated Mar 14, 2023Mar 14, 2023