GitHub topics: txl
seer-lab/ConMAn
A concurrency mutant generation tool for mutation testing concurrent Java.
Size: 207 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 2

8dcc/txl-mode.el
Fork of the Emacs Major Mode for TXL
Language: Emacs Lisp - Size: 7.81 KB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

seer-lab/ARC2
A Java implementation of the ARC-OPT bug repair framework.
Language: Java - Size: 1.68 MB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

seanpm2001/AI2001_Category-Source_Code-SC-TXL
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:TXL category for AI2001, containing TXL programming language datasets
Language: R - Size: 2.45 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1

seanpm2001/Learn-TXL
A repository for showcasing my knowledge of the TXL programming language, and continuing to learn the language.
Language: TXL - Size: 371 KB - Last synced at: 3 days ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1

dog-m/SCIS
Source Code Instrumentation System
Language: C++ - Size: 793 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

seer-lab/ConDesignPatterns
Static concurrency design pattern detection and annotation in Java.
Language: TXL - Size: 1.81 MB - Last synced at: 4 days ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

asmaloney/language-txl
Atom syntax highlighting for TXL grammar and rule files
Size: 5.86 KB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

seanpm2001/SNU_2D_ProgrammingTools_IDE_TXL
The TXL Programming language IDE submodule for SNU Programming Tools.
Language: TXL - Size: 413 KB - Last synced at: 3 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

amirsojoodi/OpenMP-to-CUDA-Transformation-with-TXL
A source-to-source transformation written in TXL language
Language: TeX - Size: 214 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0

asmaloney/bbedit-language-txl
Basic syntax highlighting and rule/function/define recognition of TXL for BBEdit/TextWrangler
Size: 1000 Bytes - Last synced at: 6 months ago - Pushed at: about 9 years ago - Stars: 1 - Forks: 0

yijunyu/meaningful-changes
Detecting meaningful changes in programs from semantically-annotated production rules
Language: C - Size: 276 MB - Last synced at: 5 months ago - Pushed at: about 10 years ago - Stars: 1 - Forks: 0
