aidevs2 To install dependencies: bun install To run: bun run index.ts This project was created using bun init in bun v1.0.0. Bun is a fast all-in-one JavaScript runtime.
RSA attack tool (mainly for ctf) - retreive private key from weak public key and/or uncipher dataRsaCtfTool The RSA Multi-Attack Tool is a sophisticated utility designed to uncipher data from weak public keys and attempt to recover the corresponding private key. This tool offers a comprehensive range of attack options, enabling users to apply various strategies to crack the encryption. RSA security, at its core, relies on the complexity of the integer factorization problem. This project…
Lean 4 programming language and theorem proverThis is the repository for Lean 4. We provide nightly releases and have just begun regular stable point releases. About Quickstart Walkthrough installation video Quick tour video Homepage Theorem Proving Tutorial Functional Programming in Lean Manual Release notes starting at v4.0.0-m3 Examples External Contribution Guidelines FAQ Installation See Setting Up Lean. Contributing Please read our Contribution Guidelines first. Building from Source See…
Robust recipes for to align language models with human and AI preferencesThe Alignment Handbook Robust recipes to align language models with human and AI preferences. What is this? Just one year ago, chatbots were out of fashion and most people hadn't heard about techniques like Reinforcement Learning from Human Feedback (RLHF) to align language models with human preferences. Then, OpenAI broke the internet with ChatGPT and Meta followed suit by releasing the Llama series of language models…
🔥 Enterprise SaaS Starter Kit - Kickstart your enterprise app development with the Next.js SaaS boilerplate 🚀 Participating in ⬆️ Take a look at our Issues ⬆️ ⭐ Enterprise SaaS Starter Kit The Open Source Next.js SaaS boilerplate for Enterprise SaaS app development. Please star ⭐ the repo if you want us to continue developing and improving the SaaS Starter Kit! 😀 📖 Additional Resources Video - BoxyHQ's SaaS Starter Kit: Your Ultimate En…
Intro In this repository you'll find the fully reversed source code for GTA III (master branch) and GTA VC (miami branch). It has been tested and works on Windows, Linux, MacOS and FreeBSD, on x86, amd64, arm and arm64. Rendering is handled either by original RenderWare (D3D8) or the reimplementation librw (D3D9, OpenGL 2.1 or above, OpenGL ES 2.0 or above). Audio is done with MSS (using dlls from original GTA) or OpenAL. The project has also been ported to the Nintendo Switch, Playstati…
Sistema Open Source para Identificar potenciales fraudes electorales, minimizar su ocurrencia e impacto. 🦁 Sistema-Anti-Fraude-Electoral 🦁 Este es un proyecto Open Source (código libre) cuyo objetivo es minimizar y detectar la posibilidad de fraude electoral en las próximas elecciones presidenciales de Argentina donde se define finalmente quien será presidente. La intención de crear este sistema es mantener y preservar la democracia y la transparencia al pueblo argentino. Indice 🦁 Sistema-Anti…
ChatGLM3 series: Open Bilingual Chat LLMs | 开源双语对话语言模型ChatGLM3 🤗 HF Repo • 🤖 ModelScope • 🐦 Twitter • 📃 [GLM@ACL 22] [GitHub] • 📃 [GLM-130B@ICLR 23] [GitHub] 👋 加入我们的 Slack 和 WeChat 📍在 chatglm.cn 体验更大规模的 ChatGLM 模型。 介绍 ChatGLM3 是智谱AI和清华大学 KEG 实验室联合发布的新一代对话预训练模型。ChatGLM3-6B 是 ChatGLM3 系列中的开源模型，在保留了前两代模型对话流畅、部署门槛低等众多优秀特性的基础上，ChatGLM3-6B 引入了如下特性： 更强大的基础模型： ChatGLM3-6B 的基础模型 ChatGLM3-6B-Base 采用了更多样的训练数据、更充分的训练步数和更合理的训练策略。在语义、数学、推理、代码、知识等不同角度的数据集上测评显示，ChatGLM3-6B-Base 具有在 10B 以下的基础模型中最强的…
Dagor Engine and Tools source code from Gaijin Games KFT