TheVeryDarkness

Generating statically typed syntax tree.

16

I'm working to add some codes to pest to support generating statically typed syntax tree in my [fork](https://github.com/theverydarkness/pest), and I'm going to make a pull request after fixing all bugs...

How to increase the memory size of the interpreter in wasm-bindgen-wasm-interpreter?

4

### Summary I've run out of the memory (the field `mem` in Interpreter) when generating interface with wasm-bindgen (called from wasm-pack) for my project. Maybe my project is too big?...

Upload z3 built by vcpkg as release assets in CI. Maybe test whether it works in CI later.

1

The release name `0.12.2` is in env.Z3_VERSION and may be changed to `z3-0.12.2` if expected. Uploaded files in my fork is in [0.12.2](https://github.com/TheVeryDarkness/z3.rs/releases/tag/0.12.2). I didn't attach a SHA256 or other...

An out-of-the-box generator for pest grammar.

20

I've written some codes for generating Concrete Syntax Tree from Pest grammar. Maybe [that repository](https://github.com/theverydarkness/pest-typed) can be merged into some repository under [pest-parser](https://github.com/pest-parser) in the future if appreciated. Examples can...

Update antlr4_tool_runner.py

1

Add a system property for jre, so that System.out always uses UTF-8 encoding.

Trying to enable type check features when using the typescript template

1

I add a declaration %type tokens... to specify the type of those tokens. And I make some little changes to the type annotations in some sources.

Bencher succeed without running any benchmarks with `rust_criterion` adapter on Windows.

11

Hello! I'm using bencher in Github Actions for one of my repos in Rust, and I'm using adapter `rust_criterion`, but I found bencher works well on macos-latest and linux-latest, but...

### Problem Hello, thanks for providing `mdbook` with MathJax support! I noticed an issue with rendering formulas in MathJax versions prior to `2.7.5`. Alphabetic characters in formulas are not rendered...

Update the selector for the theme toggle button to match mdBook 0.5.x

1

Also updated related tests This should fix .

`id` format of theme buttons in default `index.hbs` has changed since 0.5.0

1

Hello! Thanks for your great contribution! I've noticed that `id` format of theme buttons in default `index.hbs` has changed from `{theme}` to `mdbook-theme-{theme}` since 0.5.0: ``` Auto Light Rust Coal...