Answer Set Programming Collection
Top Answer Set Programming repositories on GitHub
Top Answer Set Programming repositories on GitHub
devicon
devicons
โSet of icons representing programming languages, designing & development toolsโ
gonum
gonum
โGonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and moreโ
inotify-tools
inotify-tools
โ inotify-tools is a library and a set of command-line programs providing a simple interface to inotify.โ
smithy
smithy-lang
โSmithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.โ
Penlight
lunarmodules
โA set of pure Lua libraries focusing on input data handling (such as reading configuration files), functional programming (such as map, reduce, placeholder expressions,etc), and OS path management. Much of the functionality is inspired by the Python standard libraries.โ
JPlag
jplag
โState-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.โ
stk
thestk
โThe Synthesis ToolKit in C++ (STK) is a set of open source audio signal processing and algorithmic synthesis classes written in the C++ programming language.โ
sitedorks
Zarcolio
โSearch Google/Bing/Ecosia/DuckDuckGo/Yandex/Yahoo for a search term (dork) with a default set of websites, bug bounty programs or custom collection.โ
WifiBruteCrack
cinquemb
โProgram to attempt to brute force all wifi networks in range of a device, and return a possible set of networks to connect to and the password,โ
CSES-Solutions
Jonathan-Uy
โAccepted Solutions to the CSES Competitive Programming Problem Setโ
Energy-Languages
greensoftwarelab
โThe complete set of tools for energy consumption analysis of programming languages, using Computer Language Benchmark Gameโ
rose
llnl
โROSE is an open-source compiler framework engineered by LLNL supporting program analysis and transformation at both the source and binary levels. ROSE can act as a compiler frontend for C, C++ (including applications which use UPC, OpenMP, or Cuda), Fortran, Java, Ada, and supports ELF and PE binary formats for a variety of instruction sets.โ
Prefuse
prefuse
โPrefuse is a set of software tools for creating rich interactive data visualizations in the Java programming language. Prefuse supports a rich set of features for data modeling, visualization, and interaction. It provides optimized data structures for tables, graphs, and trees, a host of layout and visual encoding techniques, and support for animation, dynamic queries, integrated search, and database connectivity. โ
syclacademy
KhronosGroup
โSYCL Academy, a set of learning materials for SYCL heterogeneous programmingโ
Kernels
ParRes
โThis is a set of simple programs that can be used to explore the features of a parallel platform.โ
B2R2
B2R2-org
โB2R2 is a fully managed binary analysis framework written in F#. It provides a rich set of algorithms, functions, and tools for reverse engineering, program analysis, and binary-level inspection.โ
python-beginner-programming-exercises
4GeeksAcademy
โPractice your Python programming skills with this interactive and auto-graded set of exercises.โ
intro_programming
ehmatthes
โA set of IPython notebooks and learning resources for an Introduction to Programming class, focusing on Python. โ