View Code? Open in Web Editor
NEW
This is the second lab of the course DD2372 Automata and Languages at KTH. This project checks the flow graph of a program against a given specification.
cfl-model-checking-flow-graph's Introduction
Hello there... <General Kenobi!/>
Lifelong software engineering student.
Great passion for distributed systems.
๐ฌ Ask me about || ๐ฆ currently learning:
Distributed Systems
Go & Docker & Kubernates
Software Architectures
Networking Concepts
Software Engineering
Refactoring
Design Patterns
Requirements Analysis
System Design
Multiplayer Game Development
KVStore
Distributed Logger
ASEDelivery
Network Router
Catan Game (Awarded Best Course Project)
Digital version of the Catan board game. Java, JavaFX, Typescript
Stack Media
YouTube like media platform. React, Typescript, MySQL, RESTful
Emergency Elevator
High level state machine emergency extraction system. Finite State Machines, System Verilog, FPGA
Santa's Little Helper
Optimization problems solved with linear programming. Python3, Linear Programming
Operating Systems Concepts
Simulations on threading, processes, CPU scheduling, main & second memory. C
Interactive WebGL Applications
Simulations on drawing 2D graphics, 3D graphics and ray tracing. WebGL, Javascript
Distributed Peer to Peer Networks
Simulation of a peer-2-peer network communication system. Python3
OverSeer (2021 The Best Senior Design Project)
Fully accessible helper for the visually impaired. Java, Android Studio, AWS, ML, Image Processing
CFL Model Check
Determine if the flow graph suits to the specifications declared in a DFA. Java
Automaton Constructor
Construct Automaton from a set of regular expressions and a given language. Java
Flappy Bird
Flappy Bird replica using standard assets. My first game
Moralabs - Rebond
A casual puzzle game. 500+ Downloads. My first published game
Noodle Master 3D
Hyper-casual multiplier game. 1.5 million organic TikTok impression
Softris
ASMR Jelly Puzzle Game
Platforms: iOS & Android
Gaming -> Puzzle top #20
Ops, SDKs, utilities, ads, publishing, debugging
cfl-model-checking-flow-graph's People
Contributors
Watchers