satbekmyrza Goto Github PK

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

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-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

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.

ubuntu-sshd

Dockerized Ubuntu SSH service