verified-smart-contracts
llmx
| verified-smart-contracts | llmx | |
|---|---|---|
| 1 | 2 | |
| 21 | 69 | |
| - | - | |
| 3.1 | 8.0 | |
| 7 months ago | 28 days ago | |
| Python | Python | |
| MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
verified-smart-contracts
-
search engine for verified solidity source codes?
There is a repo at https://github.com/andstor/verified-smart-contracts but the dataset was recently deleted. Anyway it’s promised to be restored some day by the author (once he finish his research papers)
llmx
-
A Defacto Guide on Building Generative AI Apps with the Google PaLM API
⚠️ Alternating Message Authors: the api strictly expects alternating authors for chat based messages. In llmx, I implement a simple check for consecutive messages and merge them with a newline character.
- FLaNK Stack Weekly 5 September 2023
What are some alternatives?
llm-gateway - Gateway for secure & reliable communications with OpenAI and other LLM providers
kawa - A blazingly fast event stream processing library powering the reveald event processing daemon.
paxml - Pax is a Jax-based machine learning framework for training large scale models. Pax allows for advanced and fully configurable experimentation and parallelization, and has demonstrated industry leading model flop utilization rates.
Youtube2Webpage - I learn much better from text than from videos
Book-Genre-Prediction - The aim of this project is to apply the principles of text mining on a piece of literary text, and categorize it into the genre into which it best fits.
LocalMentor - Local Startup Advisor Chatbot
co-tracker - CoTracker is a model for tracking any point (pixel) on a video.
openaidemo - Demo of how access the OpenAI API using Java 17
osintgpt - An open-source intelligence (OSINT) analysis tool leveraging GPT-powered embeddings and vector search engines for efficient data processing
puck - The visual editor for React
morphir - A universal language for business and technology
yolov7-object-tracking - YOLOv7 Object Tracking Using PyTorch, OpenCV and Sort Tracking