{"id":20851942,"url":"https://github.com/chaoses-ib/formallanguages","last_synced_at":"2025-05-12T04:32:20.102Z","repository":{"id":54560977,"uuid":"519001350","full_name":"Chaoses-Ib/FormalLanguages","owner":"Chaoses-Ib","description":null,"archived":false,"fork":false,"pushed_at":"2025-04-25T17:50:15.000Z","size":1346,"stargazers_count":6,"open_issues_count":0,"forks_count":1,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-04-25T18:43:57.538Z","etag":null,"topics":["binary-analysis","formal-languages","reverse-engineering","x86"],"latest_commit_sha":null,"homepage":"","language":"Markdown","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Chaoses-Ib.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2022-07-28T21:40:40.000Z","updated_at":"2025-04-25T17:50:19.000Z","dependencies_parsed_at":"2024-01-19T17:27:10.964Z","dependency_job_id":"5226b336-7cd0-4453-b657-07f5118c5b86","html_url":"https://github.com/Chaoses-Ib/FormalLanguages","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Chaoses-Ib%2FFormalLanguages","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Chaoses-Ib%2FFormalLanguages/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Chaoses-Ib%2FFormalLanguages/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Chaoses-Ib%2FFormalLanguages/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Chaoses-Ib","download_url":"https://codeload.github.com/Chaoses-Ib/FormalLanguages/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":253675666,"owners_count":21945951,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["binary-analysis","formal-languages","reverse-engineering","x86"],"created_at":"2024-11-18T03:15:39.098Z","updated_at":"2025-05-12T04:32:20.075Z","avatar_url":"https://github.com/Chaoses-Ib.png","language":"Markdown","funding_links":[],"categories":[],"sub_categories":[],"readme":"# [Formal Languages](Formal%20Languages.md)\n## [Models](Models/README.md)\n- [Reversible Computing](Models/Reversible.md)\n\n## Grammar\n- [Parsing Expression Grammar](Grammar/Parsing%20Expression.md)\n- Parsing\n  - [Parser Generators](Grammar/Parsing/Generators.md)\n  - [ANTLR](Grammar/Parsing/ANTLR/README.md)\n    - [The Definitive ANTLR 4 Reference](Grammar/Parsing/ANTLR/Reference.md)\n    - [Lexers](Grammar/Parsing/ANTLR/Lexers.md)\n    - [Context-Sensitive Lexical Problems](Grammar/Parsing/ANTLR/Context.md)\n    - [Grammars](Grammar/Parsing/ANTLR/Grammars.md)\n    - [Runtime](Grammar/Parsing/ANTLR/Runtime/README.md)\n      - [tree](Grammar/Parsing/ANTLR/Runtime/tree.md)\n    - [Python](Grammar/Parsing/ANTLR/Python.md)\n    - [ANTLRWorks 2](Grammar/Parsing/ANTLR/ANTLRWorks.md)\n    - [Web](Grammar/Parsing/ANTLR/Web.md)\n\n## [Semantics](Semantics/README.md)\n- [K](Semantics/K/README.md)\n\n## [Programs](Program/README.md)\n- [Identifers](Program/Identifiers/README.md)\n  - [Name Mangling](Program/Identifiers/Mangling.md)\n- Data\n  - [Literals](Program/Data/Literals.md)\n  - [Strings](Program/Data/Strings/README.md)\n    - [Literals](Program/Data/Strings/Literals.md)\n    - [Compilation](Program/Data/Strings/Compilation.md)\n    - [Inline](Program/Data/Strings/Inline.md)\n    - [Obfuscation](Program/Data/Strings/Obfuscation/README.md)\n  - [Obfuscation](Program/Data/Obfuscation.md)\n- [Program Analysis](Program/Analysis/README.md)\n  - Functions\n    - [Detection](Program/Analysis/Functions/Detection.md)\n  - [Intermediate Representations](Program/Analysis/IR/README.md)\n  - [Program Differing](Program/Analysis/Differing.md)\n  - [Tracing](Program/Analysis/Tracing.md)\n  - [Performance Analysis](Program/Analysis/Performance/README.md)\n    - [Profiling](Program/Analysis/Performance/Profiling.md)\n  - [Tools](Program/Analysis/Tools/README.md)\n    - [IDA](Program/Analysis/Tools/IDA/README.md)\n    - [Binary Ninja](Program/Analysis/Tools/Binary%20Ninja/README.md)\n    - [WinDbg](Program/Analysis/Tools/WinDbg/README.md)\n- [Exceptions](Program/Exceptions/README.md)\n  - [Structured Exception Handling (SEH)](Program/Exceptions/SEH.md)\n- [Compilers](Program/Compilers/README.md)\n  - Optimization\n    - [Interprocedural Optimization](Program/Compilers/Optimization/Interprocedural.md)\n  - [LLVM](Program/Compilers/LLVM/README.md)\n  - [GNU Compiler Collection](Program/Compilers/GCC/README.md)\n  - [Microsoft Visual C++](Program/Compilers/MSVC/README.md)\n- [Linking](Program/Linking/README.md)\n  - [Dynamic](Program/Linking/Dynamic/README.md)\n  - [Relocating](Program/Linking/Relocating.md)\n- [Executable Formats](Program/Formats/README.md)\n  - [Shellcode](Program/Formats/Shellcode/README.md)\n  - [Common Object File Format (COFF)](Program/Formats/COFF/README.md)\n    - [Object Files](Program/Formats/COFF/Object/README.md)\n    - [Protable Executable](Program/Formats/COFF/PE/README.md)\n      - [Resources](Program/Formats/COFF/PE/Resources.md)\n  - [Debugging Information](Program/Formats/Debugging/README.md)\n    - [MAP](Program/Formats/Debugging/MAP.md)\n    - [Program Database (PDB)](Program/Formats/Debugging/PDB.md)\n    - [DWARF](Program/Formats/Debugging/DWARF.md)\n  - [Memory Dumps](Program/Formats/Dumps/README.md)\n- [Binary Rewriting](Program/Rewriting/README.md)\n- Packers\n  - [UPX](Program/Packers/UPX/README.md)\n  - [ASPack](Program/Packers/ASPack/README.md)\n  - [Code Virtualizer](\u003cProgram/Packers/Code Virtualizer/README.md\u003e)\n  - [Safengine](Program/Packers/Safengine/README.md)\n  - [The Enigma Protector](Program/Packers/Enigma/README.md)\n  - [Themida](Program/Packers/Themida/README.md)\n  - [VMProtect](Program/Packers/VMProtect/README.md)\n- [Hooking](Program/Hooking.md)\n- [Virtualization](Program/Virtualization/README.md)\n  - [QEMU](Program/Virtualization/QEMU/README.md)\n    - [Unicorn](Program/Virtualization/QEMU/Unicorn/README.md)\n  - [VMware](Program/Virtualization/VMware/README.md)\n  - [Hyper-V](Program/Virtualization/Hyper-V/README.md)\n- Security\n  - [Obfuscation](Program/Security/Obfuscation/README.md)\n    - [Controlf-flow Obfuscation](Program/Security/Obfuscation/Control/README.md)\n      - [CFG Art](Program/Security/Obfuscation/Control/CFG%20Art.md)\n    - [ISA-level Obfuscation](Program/Security/Obfuscation/ISA/README.md)\n- [→Concurrent Computing](https://github.com/Chaoses-Ib/ConcurrentComputing)\n- [→Computer Software](https://github.com/Chaoses-Ib/ComputerSoftware)\n\n### [Processors](Program/Processors/README.md)\n- [Performance](Program/Processors/Performance/README.md)\n  - [Benchmarking](Program/Processors/Performance/Benchmarking.md)\n- [Tools](Program/Processors/Tools.md)\n\n#### Instructions\n- [Assembly Language](Program/Processors/Instructions/Assembly/README.md)\n- [Application Binary Interface](Program/Processors/Instructions/Interface/README.md)\n  - [Calling Conventions](Program/Processors/Instructions/Interface/Calling.md)\n- [Matching](Program/Processors/Instructions/Matching.md)\n- [Diffing](Program/Processors/Instructions/Diffing.md)\n\n#### [Security](Program/Processors/Security/README.md)\n- [Return-Oriented Programming](Program/Processors/Security/Return-Oriented%20Programming.md)\n- [Pwntools](Program/Processors/Security/Pwntools.md)\n- [Obfuscation](Program/Processors/Security/Obfuscation/README.md)\n  - [Mixed Boolean-Arithmetic](Program/Processors/Security/Obfuscation/MBA.md)\n  - [M/o/Vfuscator](Program/Processors/Security/Obfuscation/MoVfuscator.md)\n\n#### [x86](Program/Processors/x86/README.md)\n- [Modes of Operation](Program/Processors/x86/Modes%20of%20Operation.md)\n- [Execution Environment](Program/Processors/x86/Execution%20Environment.md)\n- Instructions\n  - [Instruction Encoding](Program/Processors/x86/Instructions/Encoding.md)\n  - [General-Purpose Instructions](Program/Processors/x86/Instructions/General/README.md)\n    - [No Operation](Program/Processors/x86/Instructions/General/No%20Operation.md)\n- [Application Binary Interface](Program/Processors/x86/Interface/README.md)\n  - [Calling Conventions](Program/Processors/x86/Interface/Calling.md)\n- [Memory Management](Program/Processors/x86/Memory/README.md)\n  - [Memory Alignment](Program/Processors/x86/Memory/Alignment.md)\n\n## Data Exchange Languages\n- [Data Comparison](Data/Comparison.md)\n- [Text](Data/Text/README.md)\n  - [Binary-to-text Encodings](Data/Text/Binary.md)\n  - [Delimiter-Separated Values](\u003cData/Text/Delimiter-Separated Values.md\u003e)\n  - [JavaScript Object Notation (JSON)](Data/Text/JSON/README.md)\n    - [JSON Schema](Data/Text/JSON/Schema.md)\n    - [JSON Type Definition](Data/Text/JSON/Definition.md)\n    - [JSON Streaming](Data/Text/JSON/Streaming.md)\n  - [TOML](Data/Text/TOML.md)\n  - [YAML](Data/Text/YAML.md)\n- [Protocol Buffers (Protobuf)](Data/Protobuf.md)\n- [Apache Arrow](Data/Arrow.md)\n\n## [Regular Expressions](Regular/README.md)\n- [Engines](Regular/Engines/README.md)\n  - [API](Regular/Engines/API.md)\n\n## [Template Languages](Template/README.md)\n- [printf Format](Template/printf%20Format.md)\n\n## [Markup Languages](Markup/README.md)\n- [Extensible Markup Language (XML)](Markup/Extensible/README.md)\n- [TeX](Markup/TeX/README.md)\n  - [LaTeX](Markup/TeX/LaTeX.md)\n- [Markdown](Markup/Markdown/README.md)\n  - [MDX](Markup/Markdown/MDX/README.md)\n  - [Editors](Markup/Markdown/Editors.md)","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fchaoses-ib%2Fformallanguages","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fchaoses-ib%2Fformallanguages","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fchaoses-ib%2Fformallanguages/lists"}