Skip to content
View anachan01h's full-sized avatar
47 followers · 10 following
  • SP, Brasil

Organizations

@Universidade-Livre

Block or report anachan01h

Report abuse

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

Report abuse
anachan01h/README.md

Hello World! ☺

PT-BR

My name is Ana, I do research in Logic and I love low level programming <3

I'm currently a PhD student in Mathematics, focusing on Logic. Also, I have been studying compilers, planning some projects of scientific dissemination of Logic for the future ^-^

My interests:

  • Logic
  • Mathematics
  • Theory of Computation
  • Low level programming
  • Languages: Assembly, C, WebAssembly and Rust

My projects:

In development:

  • Math Board: a virtual board that allows you to use LaTeX

Studies:

  • Learning C: my solutions to some C exercises
  • Dragon's Book: some codes I wrote while studying the Dragon's Book
  • string.wasm: a simple implementation of some strings functions from libc in WebAssembly
  • Learning WAT!?: simple examples of code written directly in WebAssembly Text Format (.wat)

Pinned Loading

  1. data-structures data-structures Public

    Assembly 2

  2. solucao-algoritmos solucao-algoritmos Public

    Minhas soluções da Rinha de Algoritmos

    Assembly 2

  3. math-board math-board Public

    Um quadro virtual onde você pode escrever símbolos matemáticos com a notação do LaTeX

    JavaScript 3 1

  4. learning-wat learning-wat Public

    Some simple codes I'm writing while studying WebAssembly 😊️

    WebAssembly 2

  5. flpbrd flpbrd Public

    Minha versão do Flappy Bird escrita em Assembly 8086 ^-^

    Assembly 11

  6. learning-c learning-c Public

    Minhas soluções de exercícios de C

    C 1