Adam V

### Description At the moment, there is no way to directly pass arguments to extractors. This limits the explosiveness and the workaround isn't neat. If constant arguments could be passed,...

Placeholders in a path

1

**Is your feature request related to a problem? Please describe.** If you want to project out a simple structure out of a large JSON you have two options: a) Formalize...

Native Random implementation prohibits Parallel Execution

4

Because there is no exposed seeding and rand/random functions don't take seeds, it's hard to write parallel code.

Feature request: Synthesize the exact ternary formulas

1

All the best XOR/AND/OR formulas for three-argument boolean functions are known; let's use these in synthesis. Specifically for the cellular automata example, this now shows a rather ugly expression with...

A good amount of silicon goes to video processing compression and more recently to neural network inference: this gives us very fast compound instructions. An example of the former is...