Valen Sara's repositories
awesome-chatgpt-prompts
This repo includes ChatGPT prompt curation to use ChatGPT better.
Language:HTMLCC0-1.0000
Beluga
Contextual types meet mechanized metatheory!
Language:OCamlGPL-3.0000
chatgpt-desktop
OpenAI ChatGPT desktop app for Mac, Windows, & Linux menubar using Tauri & Rust
Language:RustMIT000
HelloWorld
Test
Language:HTMLMIT000
node
Everything required to run your own Base node
Language:ShellMIT000
ord-fo
👁🗨 Rare and exotic sats rk
Language:RustCC0-1.0000
QAnything-glow
Question and Answer based on Anything.
Language:PythonApache-2.0000