Satbek Abdyldayev's repositories
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.
ubuntu-sshd
Dockerized Ubuntu SSH service
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
Executables
Direct execution on various platforms
geopar
GeoPar
Google-Image-Scraper
A library to scrap google images
gpt4free
decentralising the Ai Industry, just some language model api's...
human-eval
Code for the paper "Evaluating Large Language Models Trained on Code"
kaznlp
NLP tools for Kazakh language
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].
prapr
Practical Program Repair via Bytecode Mutation
python-utils
Some of the Python utils I use
repo-afl-a2
Repository containing files for Assignment 2 on Software Engineering course. UNIST Spring 2022.
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.
repo-chc-test
Buildable version of CHC Solver at https://github.com/GaloisInc/LinearArbitrary-SeaHorn
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.
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.
repo-d4j-se
Static repository containing files for Assignment 1 on Software Engineering course. UNIST Spring 2022.
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.
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.
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.