Test case generation of classic N-Puzzle game using Z3
-
Updated
Dec 14, 2015 - Python
Test case generation of classic N-Puzzle game using Z3
A JavaScript parser of multiple subtitles or lyrics file formats.
The Python software library designed to work with OpenBCI hardware.
Singular Spectrum Analysis methods implementation in Python
Local optimizator for 3-adress code that is in SSA format. Optimizator supports neutral elimination, constant folding, constant propagation and strenght reduction and combinations of those
📖 A Windows desktop application which is able to parse and reorganize subtitle files (.ass .srt .ssa .sup). My original purpose was to make this app a handy tool for users who are learning new languages via videos with bilingual captions.
Haskell Disjoint Sets (Union Find) Library
Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was still online as of 2021-03, but then gone by 2021-09).
Easy Access to https://www.schoolattendancegujarat.org/
Static analysis framework for .NET programs.
Recolourizes SSA's colour for HDR contents
A command-line tool that converts SAMI (.smi) to SSA/ASS (.ass)
generate graph data from C source using Linux kernel sparse tool
Compiler and VM(interpreter), Using SSA form and doing some optimizations.
Add a description, image, and links to the ssa topic page so that developers can more easily learn about it.
To associate your repository with the ssa topic, visit your repo's landing page and select "manage topics."