An open API service providing repository metadata for many open source software ecosystems.

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