valensara45

A good software developer works with discipline and perseverance from day one. -Omar Bradley-

My house

Pinned Repositories

awesome-chatgpt-prompts
This repo includes ChatGPT prompt curation to use ChatGPT better.
Language:HTML0 0 00
Beluga
Contextual types meet mechanized metatheory!
Language:OCaml00
chatgpt-desktop
OpenAI ChatGPT desktop app for Mac, Windows, & Linux menubar using Tauri & Rust
Language:Rust0 0 00
HelloWorld
Test
Language:HTML00
node
Everything required to run your own Base node
Language:Shell00
ord-fo
👁‍🗨 Rare and exotic sats rk
Language:Rust0 0 00
QAnything-glow
Question and Answer based on Anything.
Language:Python00

valensara45's Repositories

valensara45/awesome-chatgpt-prompts
This repo includes ChatGPT prompt curation to use ChatGPT better.
Language:HTML0 0 00
valensara45/Beluga
Contextual types meet mechanized metatheory!
Language:OCaml00
valensara45/chatgpt-desktop
OpenAI ChatGPT desktop app for Mac, Windows, & Linux menubar using Tauri & Rust
Language:Rust0 0 00
valensara45/HelloWorld
Test
Language:HTML00
valensara45/node
Everything required to run your own Base node
Language:Shell00
valensara45/ord-fo
👁‍🗨 Rare and exotic sats rk
Language:Rust0 0 00
valensara45/QAnything-glow
Question and Answer based on Anything.
Language:Python00