Pinned Repositories
actions-sandbox
ansible
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications— automate in a language that approaches plain English, using SSH, with no agents to install on remote systems.
arch-scripts
AVR-Multimeter
Measuring resistance, amperage, voltage, capacitance with an AVR
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
BenchmarkDataPool
This is a folder collecting the benchmark results from the teams.
bigint
c-alphabet
c11-threading-test
intellij-idea-format
leventeBajczi's Repositories
leventeBajczi/intellij-idea-format
leventeBajczi/actions-sandbox
leventeBajczi/arch-scripts
leventeBajczi/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
leventeBajczi/BenchmarkDataPool
This is a folder collecting the benchmark results from the teams.
leventeBajczi/c-alphabet
leventeBajczi/cps-ha
leventeBajczi/cronometer-oneclick
leventeBajczi/document-converter-actions
GitHub Actions for building LaTeX and Markdown documents
leventeBajczi/ESP32-A2DP
A Simple ESP32 Arduino Bluetooth A2DP Library (to implement a Music Receiver or Sender)
leventeBajczi/esphome-lilygo
ESPHome is a system to control your ESP8266/ESP32 by simple yet powerful configuration files and control them remotely through Home Automation systems.
leventeBajczi/esphome-lilygo-t547plus
Use Lilygo T5-4.7 inch ESP32-S3 (aka "plus"/V2.3) e-paper module with ESPHome
leventeBajczi/form-hf
leventeBajczi/ftsrg-templates
Public appearance guidelines and logos
leventeBajczi/gazer
An LLVM-based formal verification frontend for C programs.
leventeBajczi/github-pages-deploy-action-winfix
🚀 Automatically deploy your project to GitHub Pages using GitHub Actions. This action can be configured to push your production-ready code into any branch you'd like.
leventeBajczi/grafhazi
leventeBajczi/java-smt
JavaSMT - Unified Java API for SMT solvers.
leventeBajczi/leventebajczi-cv
leventeBajczi/leventebajczi.github.io
Personal webpage
leventeBajczi/mobweb
leventeBajczi/refinery
Refinery: an efficient graph solver for generating well-formed models
leventeBajczi/thesis-works
Thesis works in FTSRG
leventeBajczi/theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
leventeBajczi/theta-debugger
leventeBajczi/theta-restapi
leventeBajczi/trello-eink
leventeBajczi/ts-node-dev
Compiles your TS app and restarts when files are modified.
leventeBajczi/z3
The Z3 Theorem Prover
leventeBajczi/z3pp-ci