kdudka Goto Github PK
Name: Kamil Dudka
Type: User
Company: Red Hat
Location: Brno, Czech Republic
Name: Kamil Dudka
Type: User
Company: Red Hat
Location: Brno, Czech Republic
This is the AT&T Software Technology ast software download site from AT&T Research. The AT&T AST OpenSource Software Collection provides an overview and Practical Reusable UNIX Software provides a historical perspective. You can join the ast and uwin mailgroups, or monitor the mail archives. There is also an AT&T internal talk. The man page index contains most of the ast commands and library functions; command man pages are also available at runtime using the --man or --html option of any ast command.
Collection of tasks used for evaluation of formal verification tools in the AUFOVER (Automation of Formal Verification) project.
Output conversion utilities for CBMC
Mirror of git.tuxfamily.org/gitroot/chrony/chrony.git
Configuration files for Feedback Pipeline
static analysis of C/C++ code
packaging of csbuild for Ubuntu LTS
A compiler wrapper that runs Cppcheck/Clang in background
CLI tools for processing code scan results in plain-text
GCC plug-in, which detects bugs in signal handlers
A mock wrapper for Static Analysis tools
Generic Compiler Wrapper
experimental csbuild-based continuous integration for curl
Scripts/RPM macros that help with DB maintenance
Fork of elinks
Fast SAT Solver
KConfig
A pile of python modules used by Red Hat release engineering to build their tools.
personal repo for debugging Konflux CI tasks
personal repo for debugging Konflux CI tasks
A library providing C and Python (libcURL like) API for downloading packages and linux repository metadata in rpm-md format
the SSH library
Experimenting with trying to rebuild ViaQ/vector
The logrotate utility is designed to simplify the administration of log files on a system which generates a lot of log files.
Mock is a tool for a reproducible build of RPM packages.
A tool to take a yum repo and turn it into a Fedora module stream
nghttp2 - HTTP/2 C Library
PEM file reader for Network Security Services (NSS), implemented as a PKCS#11 module
OpenScanHub is a service for static and dynamic analysis.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.