https://github.com/anachan01h/anachan01h

https://github.com/anachan01h/anachan01h

Last synced: 4 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/anachan01h/anachan01h
• Owner: anachan01h
• Created: 2021-11-23T00:44:04.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2024-05-12T07:19:33.000Z (7 months ago)
• Last Synced: 2024-05-12T08:25:20.108Z (7 months ago)
• Size: 3.7 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
`Hello World! ☺`

----------------

[PT-BR][portuguese]



    



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][math-board]: a virtual board that allows you to use LaTeX

Studies:

 - [Learning C][learning-c]: my solutions to some C exercises

 - [Dragon's Book][dragons-book]: some codes I wrote while studying the Dragon's Book

 - [string.wasm][string-wasm]: a simple implementation of some strings functions from libc in WebAssembly

 - [Learning WAT!?][learning-wat]: simple examples of code written directly in WebAssembly Text Format (.wat)

[learning-wat]: https://github.com/anachan01h/learning-wat

[string-wasm]: https://github.com/anachan01h/string-wasm

[math-board]: https://github.com/anachan01h/math-board

[dragons-book]: https://github.com/anachan01h/dragons-book

[learning-c]: https://github.com/anachan01h/learning-c

[portuguese]: https://github.com/anachan01h/anachan01h/blob/main/README.pt-br.md