jarble

Is GLSLplusplus able to compile generic functions to GLSL, like this one? ``` T generic_example(T x, T y){ return (x < y) ? x : y; } ``` Apparently it's...

[The link to the demo](https://edwin-pratt.github.io/js-markov/) in the README is no longer working.

I found another source-to-source compiler ([GoLite Transpiler](https://github.com/vaquierm/GoLite_Transpiler)) that compiles a subset of Go to C++.

I found another compiler ([tmppy](https://github.com/google/tmppy)) that compiles a subset of Python to C++.

I found [another compiler](https://github.com/xyproto/go2cpp) that translates a subset of Go to C++. Should it be included in the list of compilers?

[Lua2C](https://github.com/davidm/lua2c) is a compiler that translates Lua source files to C source files. Should it be included in this list as well?

I found another Python-to-C compiler called [Prometeo](https://github.com/zanellia/prometeo): should it be included in the list of compilers here?

Generating type annotations for functions

4

I want to generate some type annotations to a function like this one: ``` function abs_pow(a,b){ return Math.abs(Math.pow(a,b)); } ``` With type annotations, it would look something like this (using...

Solving quantified formulas (quantifier elimination)

1

It might be useful to extend the `computational-algebra` library to solve quantified formulas instead of quantifier-free formulas. I found [a Haskell library](https://github.com/QEPCAD-Haskell/QEPCAD-Haskell) that eliminates quantifiers formulas using cylindrical algebraic decomposition:...

I recently discovered a way to translate JavaScript classes into GLSL, but it seems that js2glsl cannot do this yet. A JavaScript class could be written like this: ``` class...