Stars
Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked
A 3D dependency graph visualizer for Lean 4 projects
Open Source Wealth Management Software. Angular + NestJS + Prisma + Nx + TypeScript 🤍
It's an app built in Flutter that allows you to recognize the kana (hiragana and katakana) drawn in the app.
CounterStrikeSharp allows you to write server plugins in C# for Counter-Strike 2/Source2/CS2
Simple embedding -> text model trained on a small subset of Wikipedia sentences.
UI tool for fine-tuning and testing your own LoRA models base on LLaMA, GPT-J and more. One-click run on Google Colab. + A Gradio ChatGPT-like Chat UI to demonstrate your language models.
An easy-to-use LLMs quantization package with user-friendly apis, based on GPTQ algorithm.
Stable Diffusion web UI
Awesome-LLM: a curated list of Large Language Model
Overview and tutorial of the LangChain Library
Evaluation tool for LLM QA chains
Code and documentation to train Stanford's Alpaca models, and generate the data.
Langflow is a powerful tool for building and deploying AI-powered agents and workflows.
Reinforcement Learning with Heuristic Imperatives - Finetuning LLMs for Post-Conventional Moral Intuition
Codes for "Chameleon: Plug-and-Play Compositional Reasoning with Large Language Models".
😎 Awesome list of tools and projects with the awesome LangChain framework
This project is a Python script that scrapes data from a Gumroad site, generates a colorful and well-designed HTML page using OpenAI's GPT-4 model, and deploys the generated page to Vercel.
Implements a basic staking token with incentive distribution.
Provides an efficient allocation free async/await integration for Unity.
This Repository contains a shader and example scene for a shader which is able to create objects starting from a world position outwards.
Delight is an open source component-oriented framework for Unity.
Roadmap to becoming a game developer in 2022
Simulate the formation of three-dimensional packings of spherical and non-spherical (regular and irregular) particles with prescribed size distributions.
A custom Unity UI layout component, allowing a grid to have variable size columns and rows.