davidmisiak

davidmisiak's Stars

• AUTOMATIC1111/stable-diffusion-webui

  Stable Diffusion web UI

  Language:Python139k1.1k7.6k26.4k

• ollama/ollama

  Get up and running with Llama 3.1, Mistral, Gemma 2, and other large language models.

  Language:Go88.3k5294.2k6.9k

• nomic-ai/gpt4all

  GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.

  Language:C++69k6381.8k7.6k

• JuliaLang/julia

  The Julia Programming Language

  Language:Julia45.4k93125.2k5.5k

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust32.6k852.4k871

• modularml/mojo

  The Mojo Programming Language

  Language:Mojo22.8k2652k2.6k

• copy/v86

  x86 PC emulator and x86-to-wasm JIT, running in the browser

  Language:JavaScript19.6k3447441.4k

• danny-avila/LibreChat

  Enhanced ChatGPT Clone: Features Anthropic, OpenAI, Assistants API, Azure, Groq, GPT-4o, Mistral, OpenRouter, Vertex AI, Gemini, Artifacts, AI model switching, message search, langchain, DALL-E-3, ChatGPT Plugins, OpenAI Functions, Secure Multi-User System, Presets, completely open-source for self-hosting. Actively in public development.

  Language:TypeScript17.2k1191.3k2.9k

• githubnext/monaspace

  An innovative superfamily of fonts for code

  Language:TypeScript13.7k53196223

• cocktailpeanut/dalai

  The simplest way to run LLaMA on your local machine

  Language:CSS13.1k1493811.4k

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.4k99188393

• easydiffusion/easydiffusion

  Easiest 1-click way to create beautiful artwork on your PC using AI, with no tech knowledge. Provides a browser UI for generating images from text prompts and images. Just enter your text prompt, and see the generated image.

  Language:JavaScript9.5k1021k779

• Stability-AI/StableStudio

  Community interface for generative AI

  Language:TypeScript8.6k11675848

• martinvonz/jj

  A Git-compatible VCS that is both simple and powerful

  Language:Rust8.2k57751272

• penrose/penrose

  Create beautiful diagrams just by typing notation in plain text.

  Language:TypeScript6.8k112753282

• kimwalisch/primesieve

  🚀 Fast prime number generator

  Language:C++9414688122

• msoos/cryptominisat

  An advanced SAT solver

  Language:C++81427616178

• MiniZinc/libminizinc

  The MiniZinc compiler

  Language:C++4973977578

• HigherOrderCO/hvm-64

  Language:Rust495181634

• gabm/Satty

  Satty - Modern Screenshot Annotation. A tool inspired by Swappy and Flameshot.

  Language:Rust46676922

• arminbiere/kissat

  Language:C437244579

• copy/life

  The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife

  Language:JavaScript39517958

• arminbiere/cadical

  CaDiCaL SAT Solver

  Language:C++3492286120

• Gecode/gecode

  Generic Constraint Development Environment

  Language:C++275249376

• MiniZinc/MiniZincIDE

  The MiniZinc IDE

  Language:C++1401618222

• slovensko-digital/autogram

  Nový, krajší a lepší nástroj na podpisovanie.

  Language:Java108516320

• chuffed/chuffed

  The Chuffed CP solver

  Language:C++89128341

• hgarrereyn/SBVA

  Structured BVA

  Language:C++29355

• master-keying/pblib

  A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF

  Language:C++16414

• meelgroup/breakid

  BreakID, a CNF symmetry-breaking library and tool

  Language:C++41111