Skip to content
View FrankSteps's full-sized avatar
🎵
Abertura do Castelo Rá Tim Bum
🎵
Abertura do Castelo Rá Tim Bum
66 followers · 106 following
  • UFS - Universidade Federal de Sergipe | Federal University of Sergipe
  • Aracaju/SE - Brasil
  • YouTube @FrankSteps
  • Instagram franksteps

Achievements

Achievement: Galaxy BrainAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull SharkAchievement: Quickdraw

Achievements

Achievement: Galaxy BrainAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull SharkAchievement: Quickdraw

Highlights

Organizations

@FnEsc-Projects

Block or report FrankSteps

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
FrankSteps/Readme.md

Welcome to my GitHub page!

I'm a Computer Science undergraduate at the Federal University of Sergipe, with interests in computability theory, programming paradigms and formal methods, but with genuine interest in electrical engineering, electronics and electromagnetism.

About me

I'm currently interested in topics such as:

  • Lambda Calculus
  • Turing Machines
  • Programming Paradigms
  • Theory of Languages
  • Program Verification with ROCQ / Coq
  • Embedded Systems
  • Digital and Analog Electronics
  • High Voltage
  • Applied and Computational Mathematics

Technologies I use

Languages

Tools and Environments

What I usually develop

My repositories generally fall into a few types of projects:

  • Experiments related to computability theory
  • Applied study repositories on programming languages and paradigms
  • Digital circuit simulators
  • Experiments with embedded systems using Arduino

Some projects are more serious experiments with academic goals, while others are just tests or projects made out of curiosity. Feel free to check out what I'm currently working on!

Pinned Loading

  1. apple-juice-learning-board-simulator apple-juice-learning-board-simulator Public

    Simulador da placa de aprendizagem Apple Juice para estudo de circuitos digitais com CD4017, NE555 e CD4026, suportando clock externo, reset de contadores e alternância entre clock interno e extern…

    C++ 6 3

  2. seed-plus-plus seed-plus-plus Public

    Seed++ é um sistema automatizado de fechadura elétrica projetado com Arduino usando um solenóide e um sensor biométrico para controle de acesso seguro. Desenvolvido para a FnEsc.

    C++ 5

  3. digital-clockwork-simulator digital-clockwork-simulator Public

    Digital Clockwork is a simulator of a digital clock circuit inspired by a project by Wagner Rambo, presented on his WR Kits channel. During my university vacation, this repository will serve as my …

    C++ 3

  4. learning-formal-computation learning-formal-computation Public

    Exploring formal computation, lambda calculus, and program verification with ROCQ (Coq).

    Rocq Prover 4 1

  5. github-beats github-beats Public

    This project updates your GitHub status with the title of the YouTube video you are watching or listening. If you listen to music on YouTube, this project is for you!

    Python 12

  6. learning-functional-programming learning-functional-programming Public

    This repository contains my college work on functional programming with Haskell

    Haskell 4