Skip to content
View jetjinser's full-sized avatar
🌗
重启中
🌗
重启中

Block or report jetjinser

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. Knuth–Morris–Pratt Algorithm in Rhombus Knuth–Morris–Pratt Algorithm in Rhombus
    1
    #lang rhombus
    2
    
                  
    3
    // adapted from:
    4
    // MOY C. Knuth–Morris–Pratt illustrated. Journal of Functional Programming. 2024;34:e3. doi:10.1017/S0956796824000017
    5
    
                  
  2. racket/rhombus racket/rhombus Public

    Rhombus programming language

    Racket 358 64

  3. risingwavelabs/risingwave risingwavelabs/risingwave Public

    Best-in-class stream processing, analytics, and management. Perform continuous analytics, or build event-driven applications, real-time ETL pipelines, and feature stores in minutes. Unified streami…

    Rust 7.1k 590

  4. WasmEdge/WasmEdge WasmEdge/WasmEdge Public

    WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices,…

    C++ 8.7k 774

  5. nonebot/nonebot2 nonebot/nonebot2 Public

    跨平台 Python 异步聊天机器人框架 / Asynchronous multi-platform chatbot framework written in Python

    Python 6.2k 574

  6. haskell/haskell-language-server haskell/haskell-language-server Public

    Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

    Haskell 2.7k 367