|
|
JavaScript |
8 |
Intermediate Representation for APIs |
Jun 30, 2022 |
|
|
Haskell |
4 |
(DEPRECATED) SBV backend for Copilot. |
Jan 28, 2023 |
|
|
Ruby |
7 |
Intermediate Representation for test results |
Sep 03, 2018 |
|
|
Scala |
553 |
Flexible Intermediate Representation for RTL |
Aug 10, 2022 |
|
|
Swift |
2 |
Intermediate Representation for unit tests. |
Mar 26, 2021 |
|
|
TypeScript |
14 |
[deprecated] Your GitHub Copilot |
May 15, 2022 |
|
|
Julia |
89 |
Mike's Little Intermediate Representation |
Aug 22, 2022 |
|
|
Rust |
10 |
Programming Languages Intermediate Representation |
Apr 30, 2023 |
|
|
Haskell |
7 |
(DEPRECATED) A C99-backend for Copilot |
Jan 28, 2023 |
|
|
Coq |
65 |
A Small Quantum Intermediate Representation |
Apr 18, 2023 |
|
|
C++ |
135 |
The Higher-Order Intermediate Representation |
Jul 28, 2022 |
|
|
C++ |
9 |
The Higher-Order Intermediate Representation |
Jan 24, 2022 |
|
|
Rust |
10 |
graph-based evm intermediate representation |
Apr 26, 2023 |
|
|
Rust |
322 |
an educational compiler intermediate representation |
May 18, 2023 |
|
|
OCaml |
2 |
an educational compiler intermediate representation |
Jul 15, 2022 |
|
|
Rust |
2 |
A compiler intermediate representation library |
Jan 05, 2024 |
|
|
Rust |
2 |
An experimental language intermediate representation |
Feb 14, 2024 |
|
|
OCaml |
4 |
an intermediate representation for continuously reconfigurable hardware |
Oct 21, 2021 |
|
|
C++ |
256 |
Intermediate Representation for Binary analysis and transformation |
Mar 28, 2023 |
|
|
PHP |
4 |
SPIR (Standard Portable Intermediate Representation) Registry |
Aug 09, 2021 |
|
|
Julia |
7 |
An Intermediate Representation (IR) on steroids |
Feb 24, 2022 |
|
|
None |
1681 |
"Multi-Level Intermediate Representation" Compiler Infrastructure |
Aug 08, 2022 |
|
|
Python |
2 |
A binned fit intermediate representation library |
Dec 07, 2021 |
|
|
Python |
3 |
Low Level Variable Length Intermediate Representation |
Apr 28, 2023 |
|
|
C++ |
5 |
"Multi-Level Intermediate Representation" Compiler Infrastructure |
Mar 24, 2022 |
|
|
C++ |
2 |
"Multi-Level Intermediate Representation" Compiler Infrastructure |
May 19, 2024 |
|
|
Haskell |
2 |
(DEPRECATED) cbmc based tool for verifying copilot programs |
Jan 28, 2023 |
|
|
Haskell |
8 |
(DEPRECATED) Copilot libraries for TL, Fault Tolerance, etc. |
Jan 28, 2023 |
|
|
Rust |
12 |
Simple intermediate representation language for learning and research. |
Jun 27, 2022 |
|
|
Rust |
2627 |
An interpreter for Rust's mid-level intermediate representation |
Sep 01, 2022 |
|
|
Rust |
2 |
An interpreter for Rust's mid-level intermediate representation |
Nov 17, 2021 |
|
|
Rust |
2 |
An interpreter for Rust's mid-level intermediate representation |
Jul 30, 2022 |
|
|
Rust |
2 |
An interpreter for Rust's mid-level intermediate representation |
Sep 14, 2023 |
|
|
None |
2 |
An interpreter for Rust's mid-level intermediate representation |
Feb 03, 2024 |
|
|
C++ |
18 |
The Higher ORder INtermediate representation - next gen |
Nov 11, 2022 |
|
|
Python |
11 |
Protocol Independent Forwarding intermediate representation experimental framework |
Oct 19, 2021 |
|
|
C++ |
3 |
Translates C++ programs to Stanse intermediate representation. |
Nov 27, 2019 |
|
|
JavaScript |
4 |
Experimental intermediate representation for KaTeX to support multiple renderers |
Sep 02, 2019 |
|
|
Python |
2 |
XIR is an intermediate representation language for quantum circuits. |
Feb 18, 2022 |
|
|
TypeScript |
31 |
A block-based intermediate representation for document-like content. |
Aug 15, 2022 |
|
|
C++ |
48 |
Intermediate x86 instruction representation for use in obfuscation/deobfuscation. |
Dec 13, 2021 |
|
|
Python |
84 |
Python interface for MLIR - the Multi-Level Intermediate Representation |
Jul 22, 2022 |
|
|
C |
393 |
graph based intermediate representation and backend for optimising compilers |
May 04, 2023 |
|
|
Java |
2 |
ForSyDe's System-Level intermediate representation and supporting libraries. |
Apr 26, 2024 |
|
|
HTML |
7 |
Dialogue Manager Programming Language - intermediate representation for autonomous interactive systems |
Apr 06, 2022 |
|
|
C++ |
32 |
optimising compiler for Haskell's intermediate representation (STG) to LLVM IR |
May 08, 2022 |
|
|
C# |
82 |
Post-build IL optimizer and intermediate representation for .NET programs |
Feb 24, 2024 |
|
|
Haskell |
15 |
(DEPRECATED) Front-end of Copilot defining the user language. |
Jan 28, 2023 |
|
|
Rust |
691 |
A portable programming language with a compact intermediate representation |
Apr 25, 2023 |
|
|
Haskell |
6 |
(DEPRECATED) A library for using model-checking techiques with Copilot programs |
Jan 28, 2023 |