🔥 I'm currently working on: kotlin-satlib and sat-nexus
🌱 I'm currently learning Rust
📧 Drop me a mail: [email protected]
🔑 My GPG key is D0EF616F416E8333
🔥 I'm currently working on: kotlin-satlib and sat-nexus
🌱 I'm currently learning Rust
📧 Drop me a mail: [email protected]
🔑 My GPG key is D0EF616F416E8333
🌌 Supplementary materials for Discrete Math course at ITMO University
Tool for automatic inference of minimal finite-state models of function blocks from execution scenarios and temporal properties
Day of Week | February Feb | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
This PR adds AbstractHandler
and collectTo
similar to AbstractFullExprSetCollector
from jvm module.
I have the following setup:
- uses: typst-community/setup-typst@v4 with: cache-dependency-path: requirements.typ - run: typst compile ...
The requi…