Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by Mateusz-Grzelinski
A curated list of projects in awesome lists by Mateusz-Grzelinski .
https://github.com/mateusz-grzelinski/actionlint-py
Same as https://github.com/shellcheck-py/shellcheck-py but for actionlint
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/program-synthesis-documentation
Many resources about program synthesis
program-synthesis research-compendium rst synthesis
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/handheldcamera
Blender 2.7 addon for capturing sensor rotation and position
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/kuba-notes
Small note taking additions for Blender
addon blender blender-addon documentation notes-tool
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/cycles-bake-workaround
Blender Cycles high memory usage for baking multiple objects workaround - edit this problem no longer exists in blender 2.8
bake blender bpy cycles memory python script workaround
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/blender-stub-gen
Yet another blender Python API stub generator
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/blender-operator-complete
VS code extension that provides autocompletion and go to definition for Blender operator strings
blender-addon vscode-extension
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/java-jboss
Term 6 - project for IT studies (SOA)
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/infrastructure
IaC for Panda Academy devops
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/rice
dotfiles for bash, zshell, vim, tmux...
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/logit-formula-generator
Random SAT formula generator (basics done, work progressing)
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/java-mp4-player
Java video player with remote controler
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/kuba-linker
Redirect OneNote web application to desktop app
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/nengo-3d
GUI for Nengo simulator integrated with Blender
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/corpus-api-crawler
Hacky way to download API for Corpus
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/collective-learning
Semestr 5, modelowanie i symulacja systemów
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/blender-mind
Predict your next action in Blender
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/sat-research
master repo for logic formula generation
benchmark first-order-logic generator inkresat proover9 sat spass temporal-logic
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/jimp
Repozytorium na Ćwiczenia z JIMP'a- w pełni działające
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/sat-prover-benchmark
Prover9 and SPASS benchmark
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/web-technology
University study course - php, css, javascript
Last synced: 22 Nov 2024
https://github.com/mateusz-grzelinski/tptp_converter
TPTP to dimacs converter
Last synced: 22 Nov 2024