Command-line tool to convert .BMP images to .TXL Genesis 3D texture pack format

A concurrency mutant generation tool for mutation testing concurrent Java.

Fork of the Emacs Major Mode for TXL

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:TXL category for AI2001, containing TXL programming language datasets

Atom syntax highlighting for TXL grammar and rule files

The TXL Programming language IDE submodule for SNU Programming Tools.

A repository for showcasing my knowledge of the TXL programming language, and continuing to learn the language.

Source Code Instrumentation System

A source-to-source transformation written in TXL language

A Java implementation of the ARC-OPT bug repair framework.

Static concurrency design pattern detection and annotation in Java.

Basic syntax highlighting and rule/function/define recognition of TXL for BBEdit/TextWrangler

Detecting meaningful changes in programs from semantically-annotated production rules