Skip to content

@codimango codimango

All

    Repositories list

    15 repositories

    • modernity-ide

      Public
      Agent assisted mod editor
      TypeScript
      •
      MIT License
      •44k•0•0•21•Updated Oct 4, 2026Oct 4, 2026

    • fvspec

      Public
      Benchmark suite for helping evaluate how AIs perform on formal verification related tasks
      Python
      •
      Apache License 2.0
      •2•0•0•12•Updated Oct 4, 2026Oct 4, 2026

    • swagger-core-swe-bench-pro-changda

      Public
      Examples and server integrations for generating the Swagger API Specification, which enables easy access to your REST API
      Java
      •
      Apache License 2.0
      •2.3k•0•0•4•Updated Sep 28, 2026Sep 28, 2026

    • benchwarmer-testbed-upr

      Public
      Public repository of source code for the Universal Pokemon Randomizer FVX
      Java
      •
      GNU General Public License v3.0
      •416•0•0•2•Updated Aug 18, 2026Aug 18, 2026

    • chucker

      Public
      🔎 An HTTP inspector for Android & OkHTTP (like Charles but on device)
      Kotlin
      •
      Apache License 2.0
      •464•0•0•0•Updated Aug 13, 2026Aug 13, 2026

    • qemu-aai

      Public
      QEMU AAI fork
      C
      •
      Other
      •7.3k•0•0•0•Updated Jul 23, 2026Jul 23, 2026

    • oauthlib-swe-bench-pro-msimic

      Public
      A generic, spec-compliant, thorough implementation of the OAuth request-signing logic
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •533•0•0•0•Updated Jul 14, 2026Jul 14, 2026

    • revive

      Public
      🔥 ~6x faster, stricter, configurable, extensible, and beautiful drop-in replacement for golint
      Go
      •
      MIT License
      •333•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • structslop

      Public
      structslop is a static analyzer for Go that recommends struct field rearrangements to provide for maximum space/allocation efficiency.
      Go
      •
      Apache License 2.0
      •31•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • golang-lru

      Public
      Golang LRU cache
      Go
      •
      Mozilla Public License 2.0
      •549•0•0•0•Updated Jul 10, 2026Jul 10, 2026

    • go-git

      Public
      A highly extensible Git implementation in pure Go.
      Go
      •
      Apache License 2.0
      •1k•0•0•0•Updated Jul 7, 2026Jul 7, 2026

    • console

      Public
      Ruby
      •
      MIT License
      •20•0•0•0•Updated Jul 1, 2026Jul 1, 2026

    • tictoc

      Public
      R package with extended timing functions tic/toc, as well as stack and list structures.
      R
      •
      Apache License 2.0
      •10•0•0•0•Updated Jun 29, 2026Jun 29, 2026

    • clumsy

      Public
      clumsy makes your network condition on Windows significantly worse, but in a controlled and interactive manner.
      C
      •
      Other
      •622•0•0•0•Updated Jun 21, 2026Jun 21, 2026

    • VRTX

      Public
      Apple Metal rendering playground
      Swift
      •1•0•0•0•Updated Jul 18, 2024Jul 18, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.