A source-to-source transformation written in TXL language
-
Updated
May 6, 2020 - TeX
#
txl
Here are 13 public repositories matching this topic...
A concurrency mutant generation tool for mutation testing concurrent Java.
-
Updated
Aug 27, 2024
A repository for showcasing my knowledge of the TXL programming language, and continuing to learn the language.
knowledge article gplv3 learn md txt gpl3 txl seanpm2001 seanpm2001-education seanpm2001-learn learn-txl learn-txl-lang learn-txl-language txl-lang txl-language
-
Updated
Oct 21, 2022 - TXL
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:TXL category for AI2001, containing TXL programming language datasets
ai gplv3 artificial-intelligence dataset r-language md txt gpl3 txl rmarkdown-language txl-lang txl-language ai2001 ai-2001 ai2001-dataset ai-2001-dataset ai2001-development ai-2001-development source-code-dataset txl-sc-dataset
-
Updated
Dec 5, 2023 - R
The TXL Programming language IDE submodule for SNU Programming Tools.
web-development programming web-ide gplv3 ide md txt snu gpl3 txl snu2d-programmingtools snu-2d snu-programming-tools snu-2d-programmingtools snu-development snu-2d-programming-tools snuprogrammingtools snu2dprogrammingtools txl-lang txl-language
-
Updated
Oct 21, 2022 - TXL
Static concurrency design pattern detection and annotation in Java.
-
Updated
Sep 20, 2018 - TXL
Basic syntax highlighting and rule/function/define recognition of TXL for BBEdit/TextWrangler
-
Updated
Jul 31, 2016
Fork of the Emacs Major Mode for TXL
-
Updated
May 15, 2024 - Emacs Lisp
Atom syntax highlighting for TXL grammar and rule files
-
Updated
Jan 15, 2023
A Java implementation of the ARC-OPT bug repair framework.
-
Updated
Mar 24, 2019 - Java
Command-line tool to convert .BMP images to .TXL Genesis 3D texture pack format
-
Updated
Oct 6, 2024 - C
Improve this page
Add a description, image, and links to the txl topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the txl topic, visit your repo's landing page and select "manage topics."