Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings
@sim642
sim642
Follow
View sim642's full-sized avatar

Simmo Saan sim642

PhD student: static program analysis, programming languages

Organizations

@goblint@weechat@sws-lab@tum-cit-pl

Block or report sim642

Block user

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

You must be logged in to block users.

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

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

Report abuse

PinnedLoading

  1. goblint/analyzergoblint/analyzerPublic

    Static analysis framework for C

    OCaml 217 84

  2. adventofcodeadventofcodePublic

    Advent of Code solutions of 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024 and 2025 in Scala

    Scala 68 4

  3. whatpulsewhatpulsePublic

    WhatPulse reverse engineered

    Python 43 4

  4. openboseopenbosePublic

    Bose Connect reverse-engineered

    Python 23 3

  5. weechat/weechatweechat/weechatPublic

    The extensible chat client.

    C 3.2k 347

  6. odepodepPublic

    Dependency graphs for OCaml modules, libraries and packages

    OCaml 39


[8]ページ先頭

©2009-2025 Movatter.jp