Skip to content
View FrankSteps's full-sized avatar
🎵
YouTube
🎵
YouTube
52 followers · 113 following

Achievements

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

Achievements

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

Highlights

  • Pro

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
FrankSteps/Readme.md

Seja bem-vindo à minha página no GitHub!

Sou graduando em Ciência da Computação pela Universidade Federal de Sergipe, com interesse em teoria da computação, paradigmas de programação e métodos formais, mas com interesse genuino em elétrica, eletrônica e eletromagnetismo.

Sobre mim

Atualmente estudo temas como:

  • Cálculo Lambda
  • Máquinas de Turing
  • Paradigmas da programação
  • Verificação de Programas com ROCQ / Coq
  • Sistemas embarcados
  • Eletrônica digital e analógica
  • Matemática aplicada e computacional

Tecnologias que utilizo

Linguagens

Ferramentas e ambientes

O que eu costumo desenvolver

Meus repositórios geralmente se dividem em alguns tipos de projetos:

  • Experimentos relacionados à teoria da computação
  • Repositórios de estudo aplicado sobre linguagens e paradigmas de programação
  • Simuladores de circuitos digitais
  • Experimentos com sistemas embarcados usando Arduino

Alguns projetos são experimentos mais sérios e com objetivo acadêmico, enquanto outros são apenas testes ou projetos feitos por curiosidade. Fique à vontade para conferir no que estou trabalhando atualmente!

Pinned Loading

  1. seed-plusplus seed-plusplus 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++ 4

  2. 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++ 3 3

  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++ 2

  4. learning-functional-programming learning-functional-programming Public

    This repository contains my college work on functional programming with Haskell

    Haskell 3

  5. learning-formal-computation learning-formal-computation Public

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

    TeX 2

  6. turing-machine-experiments turing-machine-experiments Public

    This repository contains small Turing Machine programs I wrote while studying theoretical computer science.

    2