Category : github

github
lean-dojo / LeanCopilot

LLMs as Copilots for Theorem Proving in LeanLean Copilot: LLMs as Copilots for Theorem Proving in Lean Lean Copilot allows large language models (LLMs) to be used in Lean for proof automation, e.g., suggesting tactics/premises and searching for proofs. You can use our built-in models from LeanDojo or bring your own models that run either locally (w/ or w/o GPUs) or on the cloud. Lean.Copilot.demo.mp4 Table of Contents Requirements Using Lean Copilot in Your…

  • четверг, 14 декабря 2023 г. в 00:00:08
github
guoqincode / AnimateAnyone-unofficial

Unofficial Implementation of Animate AnyoneUnofficial Implementation of Animate Anyone Overview This repository contains an simple and unofficial implementation of Animate Anyone. This project is built upon magic-animate and AnimateDiff. Note !!! This project is under continuous development in part-time, there may be bugs in the code, welcome to correct them, I will optimize the code after the pre-trained model is released! Requirements Same as magic-animate. ToDo Release Training Code. Deep…

  • четверг, 14 декабря 2023 г. в 00:00:06
github
open-compass / MixtralKit

A toolkit for inference and evaluation of 'mixtral-8x7b-32kseqlen' from Mistral AI MixtralKit A Toolkit for Mixtral Model 📊Performance • ✨Resources • 📖Architecture • 📂Weights • 🔨 Install • 🚀Inference • 🤝 Acknowledgement English | 简体中文 Important 📢 Welcome to try OpenCompass for model evaluation 📢 🤗 Request for update your mixtral-related projects is open! 🙏 This repo is an **experimental** implementation of inference code. 📊 Performance Comparison with Other Models …

  • четверг, 14 декабря 2023 г. в 00:00:05
github
wy876 / POC

2023HW漏洞整理,收集整理漏洞EXp/POC,大部分漏洞来源网络,目前收集整理了100多个poc/exp漏洞收集 2023HW漏洞整理,收集整理漏洞EXp/POC,大部分漏洞来源网络,目前收集整理了100多个poc/exp,善用CTRL+F搜索 2023.12.11 新增漏洞 Apache Struts2 CVE-2023-50164 蓝凌EKP前台授权绕过导致文件上传 通达OA header身份认证绕过漏洞 2023.12.08 新增漏洞 Dedecms v5.7.111前台tags.php SQL注入漏洞 云时空社会化商业ERP任意文件上传 奥威亚视频云平台VideoCover.aspx接口存在任意文件上传漏洞 2023.12.07 新增漏洞 WeiPHP>=5.0 SQL注入漏洞 Apache Ofbiz XML-RPC RCE漏洞-CVE-2023-49070 多个防火墙产品RCE 金蝶Apusic应用服务器任意文件上传 2023.12.05 新增漏洞 速达软件全系产品存在任意文件上传漏洞 易思智能物流无人值守系统5.0存在任意文件上传漏洞 RuoYi…

  • четверг, 14 декабря 2023 г. в 00:00:03
github
amitsangani / Llama-2

All the projects related to LlamaLlama Welcome to my Repo! :smile: This repository contains notebooks: That can be run on Google Colab to understand how to use Llama 2 models Examples of fine-tuning Llama 2 models with different datasets (you can) Prompt-engineering with open source tools/frameworks such as Langchain, FAISS, etc and other fun stuff you can do with Llama!

  • четверг, 14 декабря 2023 г. в 00:00:02
github
allenai / papermage

library supporting NLP and CV research on scientific paperspapermage Setup conda create -n papermage python=3.9 conda activate papermage pip install -e '.[dev,predictors,visualizers]' If you're on MacOSX, you'll also want to run: conda install poppler Unit testing python -m pytest for latest failed test python -m pytest --lf --no-cov -n0 for specific test name of class name python -m pytest -k 'TestPDFPlumberParser' --no-cov -n0 Quick start 1. Create a Document for the …

  • среда, 13 декабря 2023 г. в 00:00:10
github
llmware-ai / llmware

Providing enterprise-grade LLM-based development framework, tools, and fine-tuned models.llmware llmware is a unified, open, extensible framework for LLM-based application patterns including Retrieval Augmented Generation (RAG). This project provides a comprehensive set of tools that anyone can use – from beginner to the most sophisticated AI developer – to rapidly build industrial-grade enterprise LLM-based applications. Key differentiators include: source citation for Q & A scenarios, …

  • среда, 13 декабря 2023 г. в 00:00:09
github
KovenYu / WonderJourney

Coming soon!

  • среда, 13 декабря 2023 г. в 00:00:08
github
HuolalaTech / page-spy-web

Debug remotely and easily like chrome devtools. Page Spy English | 中文 介绍 PageSpy 是一款用来调试远程 Web 项目的工具。 基于对原生 API 的封装,它将调用原生方法时的参数进行过滤、转化,整理成格式规范的消息供调试端消费;调试端收到消息数据,提供类控制台可交互式的功能界面将数据呈现出来。 何时使用? 任何无法在本地使用控制台调试的场景,都是 PageSpy 可以大显身手的时候!一起来看下面的例子: 本地调试 H5、Webview 应用:以往有些产品提供了可以在 H5 上查看信息的面板,但移动端屏幕太小操作不便、显示不友好,以及信息被截断等问题; 远程办公、跨地区协同:传统沟通方式如邮件、电话、视频会议等,沟通效率不高、故障信息不全面,容易误解误判; 用户终端上出现白屏问题:传统定位问题的方式包括数据监控、日志分析等,这些方式依赖排障人员要理解业务需求场景、技术实现; 此类问题的共同点是开发者无法像使用控制台一样查看运行信息。 对此 PageSpy 提供项目运行现场…

  • среда, 13 декабря 2023 г. в 00:00:06