Skip to content
View FabianVegaA's full-sized avatar
💻
Learning new things
💻
Learning new things
24 followers · 45 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report FabianVegaA

Report abuse

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

Report abuse
FabianVegaA/README.md

Fabián Vega Alcota - Software Developer

About Me

I'm passionate about building robust, mathematically-sound software systems.

Areas of Interest

  • Programming Paradigms: Functional programming, type-driven development
  • Formal Methods: Category theory, type theory, formal verification
  • Programming Languages: Language design and implementation
  • AI & Machine Learning: Applied machine learning, AI safety

Connect with me:

Open to collaboration on projects involving programming languages, formal verification, and AI research.

Pinned Loading

  1. qiqe qiqe Public

    This an experimental playground for a general purpose functional language. This is the implementation of a web application that allows to write and execute Qiqe code in the browser.

    TypeScript 1

  2. The-Wizard-Frogy The-Wizard-Frogy Public

    A game made with Elm about a wizard frog 🐸

    Elm

  3. sand-simulator sand-simulator Public

    A simple sand simulator using Rust, Yew, and Tauri

    Rust

  4. sigmaF sigmaF Public

    The project SigmaF is a programming language of functional paradigm and open-source.

    Python 21 5

  5. BNF_LM_code_generator BNF_LM_code_generator Public archive

    An experiment to generate code from a BNF grammar guide using an LM.

    Rust

  6. TO-DO-lambda TO-DO-lambda Public

    This is a simple TO-DO application built as a proof of concept for building HTML pattern SPA over Web sockets using Haskell.

    HTML