Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/sergiobonatto/sergiobonatto

Last synced: about 2 months ago
JSON representation

Host: GitHub
URL: https://github.com/sergiobonatto/sergiobonatto
Owner: SergioBonatto
Created: 2020-08-11T03:10:53.000Z (over 4 years ago)
Default Branch: master
Last Pushed: 2024-10-31T14:17:18.000Z (2 months ago)
Last Synced: 2024-10-31T15:24:12.452Z (2 months ago)
Size: 639 KB
Stars: 0
Watchers: 2
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

# __Hello there!__

## 👨 Sergio __Bonatto__ [![wakatime](https://wakatime.com/badge/user/cc1782d9-eb26-4caf-976b-edaa140896a1.svg)](https://wakatime.com/@cc1782d9-eb26-4caf-976b-edaa140896a1)

Let's get to know each other more, open your terminal and run:

```bash
npx bonatto
```

* #### 🤓 - Formal proofs analyst at **Kind** at [**Higher Order Company**](https://github.com/HigherOrderCO/)

* #### 💻 - Kind, HVM, Haskell, Rust, CSS, JavaScript, Reactjs, TypeScript, and Python

* #### Contact me on Discord: `fibonatto`, originally `Bonatto#0001`