DaviRain-Su
Follow
Lists (15)
Starred repositories
Anthropic's Interactive Prompt Engineering Tutorial
A collection of notebooks/recipes showcasing some fun and effective ways of using Claude.
🔥 将 public-apis 项目翻译为中文版，并收集添加国内常用 API，欢迎大家点赞 🌟 和贡献一行好用的 API，让这个项目成为中文版的免费 API 大全。
This repository showcases various advanced techniques for Retrieval-Augmented Generation (RAG) systems. RAG systems combine information retrieval with generative models to provide accurate and cont…
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs!
A free, source-available and fair-code licensed mac app cleaner
A gentle, example-based guide to getting started with the Move prover.
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
APALACHE: symbolic model checker for TLA and Quint
Python training for business analysts and traders
A framework for creating PoC's for Solana Smart Contracts in a painless and intuitive way
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
一本 GPT4 生成的单词书📚，超过 8000 个单词分析，涵盖了词义、例句、词根词缀、变形、文化背景、记忆技巧和小故事
Typikon lets you use markdown to write your online books.
The compiler for ReScript.
An OCaml library for HTTP clients and servers using Lwt or Async
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
A static analyzer for Java, C, C , and Objective-C
