Skip to content
View satbekmyrza's full-sized avatar
🎯
Focusing
🎯
Focusing
13 followers · 11 following

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Highlights

  • Pro
Block or Report

Block or report satbekmyrza

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

  • FamilyGem Public

    Forked from michelesalvador/FamilyGem

    Android app for genealogical trees

    Java GNU General Public License v3.0 Updated Feb 14, 2024

  • gpt4free Public

    Forked from xtekky/gpt4free

    decentralising the Ai Industry, just some language model api's...

    Python GNU General Public License v3.0 Updated May 1, 2023

  • openjml.github.io Public

    Forked from OpenJML/openjml.github.io

    Public facing website for OpenJML containing information for users: [www.openjml.org]. The OpenJML GitHub project wiki contains information for OpenJML developers [github.com/OpenJML/OpenJML/wiki].

    Java GNU General Public License v2.0 Updated Jan 3, 2023

  • python-utils Public

    Some of the Python utils I use

    Python Updated Dec 28, 2022

  • human-eval Public

    Forked from dpfried/human-eval

    Code for the paper "Evaluating Large Language Models Trained on Code"

    Python MIT License Updated Nov 28, 2022

  • CVEfixes Public

    Forked from secureIT-project/CVEfixes

    CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software

    Python Other Updated Jul 20, 2022

  • repo-afl-a2 Public

    Repository containing files for Assignment 2 on Software Engineering course. UNIST Spring 2022.

    C Updated May 2, 2022

  • kaznlp Public

    Forked from makazhan/kaznlp

    NLP tools for Kazakh language

    Python Updated Apr 5, 2022

  • repo-d4j-se Public

    Static repository containing files for Assignment 1 on Software Engineering course. UNIST Spring 2022.

    Java 1 Updated Mar 21, 2022

  • prapr Public

    Forked from prapr/prapr

    Practical Program Repair via Bytecode Mutation

    Updated Mar 14, 2022

  • Ewoks Public

    Forked from vrthra/Ewoks
    Jupyter Notebook Other Updated Feb 25, 2022

  • Google-Image-Scraper Public

    Forked from ohyicong/Google-Image-Scraper

    A library to scrap google images

    Python Updated Jan 9, 2022

  • antlr2json Public

    Forked from vrthra/antlr2json

    Convert ANTLR4 grammar to JSON format

    Python Other Updated Nov 19, 2021

  • repo-chc-test Public

    Buildable version of CHC Solver at https://github.com/GaloisInc/LinearArbitrary-SeaHorn

    C 1 Other Updated Jun 9, 2021

  • repo-chc-llvm-3.6 Public

    A static copy of https://github.com/llvm/llvm-project/tree/llvmorg-3.6.0/llvm. Dependency for satbekmyrza/chc-test-repo.

    C++ Other Updated May 20, 2021

  • repo-chc-spacer-code Public

    A static copy of https://bitbucket.org/spacer/code.git. This is done as a workaround for incompatibility between Ubuntu 14.04 and bitbucket. Dependency for satbekmyrza/chc-test-repo.

    C++ 1 Other Updated May 20, 2021

  • repo-crab-llvm Public

    Static repository copied from https://github.com/seahorn/crab-llvm/tree/stable-llvm-3.6 with some modifications to CMakeLists.txt. Dependency for satbekmyrza/chc-test-repo.

    C++ Apache License 2.0 Updated May 11, 2021

  • repo-crab Public

    Static repository copied from https://github.com/seahorn/crab/tree/v1.0 with some modifications to CMakeLists.txt. Dependency for satbekmyrza/chc-test-repo.

    C++ Apache License 2.0 Updated May 11, 2021

  • repo-sea-dsa Public

    Static repository copied from https://github.com/seahorn/sea-dsa/tree/stable-llvm-3.6 with some modifications to CMakeLists.txt. Dependency for satbekmyrza/chc-test-repo.

    C++ Updated May 11, 2021

  • repo-llvm-dsa Public

    Static repository copied from https://github.com/seahorn/llvm-dsa/tree/stable-llvm-3.6 with some modifications to CMakeLists.txt. Dependency for satbekmyrza/chc-test-repo.

    C++ Other Updated May 11, 2021

  • repo-llvm-seahorn Public

    Static repository copied from https://github.com/seahorn/llvm-seahorn/tree/stable-llvm-3.6 with some modifications to CMakeLists.txt. Dependency for satbekmyrza/chc-test-repo.

    C++ Other Updated Apr 23, 2021

  • C Public

    Forked from TheAlgorithms/C

    Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.

    C GNU General Public License v3.0 Updated Feb 23, 2021

  • ubuntu-sshd Public

    Forked from rastasheep/ubuntu-sshd

    Dockerized Ubuntu SSH service

    Shell 1 Updated Feb 15, 2021

  • Executables Public

    Forked from ebraude/Executables

    Direct execution on various platforms

    Updated Feb 4, 2018

  • geopar Public

    GeoPar

    Python MIT License Updated Apr 19, 2017