Pinned Repositories
antlr2json
Convert ANTLR4 grammar to JSON format
C
Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.
CVEfixes
CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software
Ewoks
Executables
Direct execution on various platforms
FamilyGem
Android app for genealogical trees
geopar
GeoPar
repo-chc-spacer-code
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.
repo-chc-test
Buildable version of CHC Solver at https://github.com/GaloisInc/LinearArbitrary-SeaHorn
ubuntu-sshd
Dockerized Ubuntu SSH service
satbekmyrza's Repositories
satbekmyrza/repo-chc-spacer-code
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.
satbekmyrza/repo-chc-test
Buildable version of CHC Solver at https://github.com/GaloisInc/LinearArbitrary-SeaHorn
satbekmyrza/ubuntu-sshd
Dockerized Ubuntu SSH service
satbekmyrza/antlr2json
Convert ANTLR4 grammar to JSON format
satbekmyrza/C
Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.
satbekmyrza/CVEfixes
CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software
satbekmyrza/Ewoks
satbekmyrza/Executables
Direct execution on various platforms
satbekmyrza/FamilyGem
Android app for genealogical trees
satbekmyrza/geopar
GeoPar
satbekmyrza/Google-Image-Scraper
A library to scrap google images
satbekmyrza/gpt4free
decentralising the Ai Industry, just some language model api's...
satbekmyrza/human-eval
Code for the paper "Evaluating Large Language Models Trained on Code"
satbekmyrza/kaznlp
NLP tools for Kazakh language
satbekmyrza/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].
satbekmyrza/prapr
Practical Program Repair via Bytecode Mutation
satbekmyrza/python-utils
Some of the Python utils I use
satbekmyrza/repo-afl-a2
Repository containing files for Assignment 2 on Software Engineering course. UNIST Spring 2022.
satbekmyrza/repo-chc-llvm-3.6
A static copy of https://github.com/llvm/llvm-project/tree/llvmorg-3.6.0/llvm. Dependency for satbekmyrza/chc-test-repo.
satbekmyrza/repo-crab
Static repository copied from https://github.com/seahorn/crab/tree/v1.0 with some modifications to CMakeLists.txt. Dependency for satbekmyrza/chc-test-repo.
satbekmyrza/repo-crab-llvm
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.
satbekmyrza/repo-d4j-se
Static repository containing files for Assignment 1 on Software Engineering course. UNIST Spring 2022.
satbekmyrza/repo-llvm-dsa
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.
satbekmyrza/repo-llvm-seahorn
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.
satbekmyrza/repo-sea-dsa
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.