Sokole1

Sokole1's Stars

• chomosuke/typst-preview.nvim

  Low latency typst preview for Neovim

  Language:Lua40323

• BenediktPeterseim/BabyGiry

  Language:Lean41

• lean-dojo/LeanCopilot

  LLMs as Copilots for Theorem Proving in Lean

  Language:C++1.1k99

• dselsam/certigrad

  Bug-free machine learning on stochastic computation graphs

  Language:Lean39035

• ImperialCollegeLondon/formalising-mathematics-2022

  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

  Language:Lean11925

• OpenBMB/ChatDev

  Create Customized Software using Natural Language Idea (through LLM-powered Multi-Agent Collaboration)

  Language:Python26.5k3.4k

• apple/ml-stable-diffusion

  Stable Diffusion with Core ML on Apple Silicon

  Language:Python17.2k972

• dair-ai/ML-Papers-Explained

  Explanation to key concepts in ML

  7.5k598

• oven-sh/bun

  Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

  Language:Zig76.9k3k

• tinygrad/tinygrad

  You like pytorch? You like micrograd? You love tinygrad! ❤️

  Language:Python28.4k3.3k

• jzhang38/TinyLlama

  The TinyLlama project is an open endeavor to pretrain a 1.1B Llama model on 3 trillion tokens.

  Language:Python8.3k517

• hackclub/putting-the-you-in-cpu

  A technical explainer by @kognise of how your computer runs programs, from start to finish.

  Language:MDX5.1k167

• conql/obsidian-mathpix-markdown

  Language:TypeScript21

• facebookresearch/nougat

  Implementation of Nougat Neural Optical Understanding for Academic Documents

  Language:Python9.3k603

• mudler/LocalAI

  :robot: The free, Open Source alternative to OpenAI, Claude and others. Self-hosted and local-first. Drop-in replacement for OpenAI, running on consumer-grade hardware. No GPU required. Runs gguf, transformers, diffusers and many more models architectures. Features: Generate Text, Audio, Video, Images, Voice Cloning, Distributed, P2P inference

  Language:Go31.1k2.3k

• meta-llama/codellama

  Inference code for CodeLlama models

  Language:Python16.2k1.9k

• akaalias/obsidian-extract-pdf

  Extract PDFs to Markdown within Obsidian

  Language:JavaScript24522

• mayooear/ai-pdf-chatbot-langchain

  LangChain & LangGraph AI PDF chatbot agent

  Language:TypeScript15.2k3k

• mudler/LocalAGI

  100% Local AGI with LocalAI

  Language:Python45073

• logancyang/obsidian-copilot

  THE Copilot in Obsidian

  Language:TypeScript4.2k300

• lm-sys/FastChat

  An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.

  Language:Python38.1k4.7k

• f/awesome-chatgpt-prompts

  This repo includes ChatGPT prompt curation to use ChatGPT and other LLM tools better.

  Language:JavaScript122k16.3k

• niuers/Linear-Algebra-and-Learning-from-Data

  Solutions to the problems in the book: Linear Algebra and Learning from Data by Gilbert Strang, MIT

  Language:Jupyter Notebook25782

• google/comprehensive-rust

  This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

  Language:Rust29.6k1.8k