Pavel Potoček

Results 15 issues of Pavel Potoček

I want to experiment with native back-ends for Concur, and I wanted to use the simple `concur-sdl` as a basis for my experiments. However, after `stack build` and `stack run`,...

This slows down compilation considerably. I would be glad to help, but I don't want to duplicate effort. Do you know what is the exact cause of this problem? Does...

While trying to use `rome` to generate Turtle parser code (for lv2 plugins), I fixed several issues: * the output directories in `generate_code.rs` weren't created, * `TransitiveIterator` wasn't working for...

On complicated problems, `mios` works fine when used as an executable like this: ``` $ stack run mios162 -- sudoku.dimacs SATISFIABLE, saved to .ans_sudoku.dimacs for sudoku.dimacs ``` Example problem: https://gist.github.com/potocpav/97c84a24a45797b44a63a565295aec8b...

Not everything is tested, but I guess that "somewhat working" is better than "not working"? :)

Mainly for documentation/presentation purposes. https://github.com/iodide-project/pyodide

Present these applications front-and-center on the homepage. Right now, the homepage contains just trivial usage examples, which really doesn't look too good. Could be inspired by the [Streamlit homepage](https://www.streamlit.io/). Contributions...

help wanted
1.0

- [x] Linux - [ ] MacOS - [ ] Windows

1.0

- [x] FPS should be adjustible - [x] Use real resolution instead the user-specified one - [ ] Internal render surface should blit to screen instead of redrawing ImGui

Every widget and combinator should be tested. Add test coverage?

1.0