styczynski/Needham-Schroeder-promela

Stars
1
Language
Shell
Created over 5 years ago
Updated over 5 years ago

styczynski/Needham-Schroeder-promela

styczynski

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

The formal verification of Needham-Schroeder public key protocol with help of Spin

atom-terminal-panel

Advanced terminal interface for Atom editor

chatdb

ChatGPT-based database, wait... WHAT?

airflow-dvc

DVC support for Airflow workflows

waccgl

Windows Advanced Console Componental Graphics Library

avr-weather-esp8266

Weather fetching through wifi with LCD1602 + Atmega32 + ESP8266

bash-universal-tester

✅ Universal testing script for bash

autocomplete-js

The simplest jQuery plugin for creating autocomplete boxes with dynamically generated suggestions.

fpga-verilog

Collection of my projects that was made as a part of Warsaw University FPGA course

ocaml.hs

Tiny OCaml interpreter written in Haskell

The-Socket

C/C++ Socket Library

labmap-chrome

This project is labmap by @tomasz-miskow redesigned to be fully-featured Chrome extension!

go-sat-solver

SAT solver written in Go (based on Minisat)

jpp-prolog

Prolog EF-Graphs ~ JPP MIM UW

weatherly

Nice looking weather fetcher written in Java ☁️ ⚡

octosql.py

Octosql bindings for Python

_

dvc-fs

High-level API work easy writing/reading/listing files inside the DVC

instant-compiler-go

kross-hugo-starter-0

kross-hugo-starter

fca-course

Jupyter Notebook

aadg-genomics-class

docs

styczynski

My Github profile description

tiny-graphql-scala

Tiny, fast GraphQL parser written in Scala

react-native-web-electron-template

Template to quickly launch React projects for mobile (React Native), web (React) and desktop (Electron)

config

poly-var-cpp

Just-for-fun implementation of polymorphic variables in C/C++

terraform-provider-kubectl-query

Terraform provider to get information about k8s status

ipp-bin-tree

Student's work (individual programistic project) at Warsaw University

leak_check_web

styczynski.github.io

🚀 Space-ready portfolio 🔭

test-github

quantum-game

code16challenge

ts-cv-generator

dumbrepo

automaton-state-machine

Simple multi-process state machine for word verification. Original assignment description available on webpage: