|
|
C++ |
3 |
Intermediate bytecode language |
Jan 03, 2022 |
|
|
Makefile |
3 |
An Intermediate Constructed Language |
Apr 06, 2022 |
|
|
Python |
4 |
C†: intermediate quantum programming language |
May 14, 2021 |
|
|
Python |
17 |
AIL: The angr Intermediate Language. |
Aug 11, 2022 |
|
|
C++ |
2 |
Virtual-machine Translation Intermediate Language |
Jul 13, 2022 |
|
|
Dafny |
2 |
A verified intermediate verification language |
Mar 04, 2023 |
|
|
None |
2 |
Virtual-machine Translation Intermediate Language |
Jun 27, 2022 |
|
|
Python |
19 |
Python S-expression Intermediate Language |
Oct 04, 2022 |
|
|
None |
2 |
Virtual-machine Translation Intermediate Language |
Nov 26, 2022 |
|
|
Rust |
2 |
An experimental language intermediate representation |
Feb 14, 2024 |
|
|
C++ |
105 |
Compiler intermediate language for static analysis. |
Jun 01, 2022 |
|
|
Haskell |
37 |
An experimental intermediate language for GHC |
Oct 27, 2020 |
|
|
OCaml |
238 |
Scilla - A Smart Contract Intermediate Level Language |
Aug 06, 2022 |
|
|
C |
16 |
Intermediate Compute Language with OpenCL/CUDA Backends |
Dec 16, 2021 |
|
|
Scala |
40 |
Definition of the Viper intermediate verification language. |
Jul 31, 2022 |
|
|
Yacc |
2 |
Generates Intermediate code for language called "Simpl" |
Mar 11, 2023 |
|
|
Rust |
198 |
Intermediate Language (IL) for Hardware Accelerator Generators |
Aug 28, 2022 |
|
|
Rust |
12 |
Simple intermediate representation language for learning and research. |
Jun 27, 2022 |
|
|
Emacs Lisp |
4 |
An Emacs major mode for BAP's intermediate language |
May 02, 2022 |
|
|
C++ |
3 |
An intermediate language, created for the delta project |
Jan 17, 2023 |
|
|
Rust |
3 |
A simple intermediate language for generating EVM bytecode. |
Feb 10, 2023 |
|
|
Python |
2 |
XIR is an intermediate representation language for quantum circuits. |
Feb 18, 2022 |
|
|
OCaml |
2 |
a (compiler intermediate) language which has explicit join point |
Jun 03, 2021 |
|
|
C# |
90 |
A Visual Studio Code C# IL (Intermediate Language) Viewer |
Sep 30, 2022 |
|
|
Rust |
691 |
A portable programming language with a compact intermediate representation |
Apr 25, 2023 |
|
|
Emacs Lisp |
10 |
Major emacs mode for editing Common Intermediate Language files. |
Feb 22, 2022 |
|
|
C# |
3 |
Simple Common Intermediate Language (IL) structure parser + viewer + obfuscator |
Jun 04, 2022 |
|
|
Emacs Lisp |
2 |
Major emacs mode for editing Common Intermediate Language files. |
Aug 13, 2019 |
|
|
Haskell |
2 |
Applying the dataflow algorithm to a monadic intermediate language. |
Mar 11, 2016 |
|
|
VimL |
3 |
Syntax file for the .NET Microsoft Intermediate Language Assembly |
Oct 27, 2022 |
|
|
None |
2 |
Swift Intermediate Language syntax highlight for Visual Studio Code. |
Jan 31, 2024 |
|
|
OCaml |
3 |
Documentation for atdgen |
Nov 02, 2020 |
|
|
OCaml |
3 |
Investigating incomplete OCaml stack backtraces |
Nov 02, 2020 |
|
|
OCaml |
3 |
OCaml-stuffed templates |
Nov 02, 2020 |
|
|
OCaml |
3 |
Epsilon-greedy solution to the multiarmed-bandit problem, with recency bias |
Nov 02, 2020 |
|
|
OCaml |
3 |
How much stuff fits in a spherical shell of various dimensions? |
Nov 02, 2020 |
|
|
OCaml |
3 |
Dynamic signal uniformization |
Apr 07, 2021 |
|
|
OCaml |
3 |
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL … |
Apr 18, 2020 |
|
|
OCaml |
4 |
An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml. |
Jan 25, 2022 |
|
|
OCaml |
4 |
Runtime and runner for a compiler from SQL to JavaScript |
Mar 22, 2022 |
|
|
OCaml |
4 |
Pure OCaml parser for URIs for Geographic Locations |
Apr 22, 2022 |
|
|
OCaml |
4 |
An automatic recursive function transformer. |
May 13, 2022 |
|
|
OCaml |
4 |
API + Telegram bot + SPA for Dota 2 hero voicelines |
Jun 07, 2021 |
|
|
OCaml |
4 |
None |
Apr 01, 2019 |
|
|
OCaml |
4 |
Access the Linear or RBF kernel SVM from OCaml using the R e1071 or svmpath … |
Mar 09, 2020 |
|
|
OCaml |
4 |
Wrapper on top of libsvm-tools |
Nov 16, 2021 |
|
|
OCaml |
4 |
Ocaml Learning |
Dec 29, 2015 |
|
|
OCaml |
4 |
Mathematical proof checker which can be used to create Qeditas theories, signatures and documents |
Sep 01, 2021 |
|
|
OCaml |
4 |
testing ppx_deriving_crowbar by automatically deriving parsetrees, and why not test them after that |
Aug 03, 2020 |
|
|
OCaml |
4 |
Tools for making, manipulating, and viewing cross-stitch patterns. |
Feb 03, 2022 |