Giters
Dávid Mišiak (davidmisiak)

davidmisiak

Geek Repo

1

followers

0

following

35

stars

Home Page:https://gitlab.com/puding

Github PK Tool:Github PK Tool

Dávid Mišiak's starred repositories

ollama

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

Language:GoLicense:MITStargazers:78736Issues:0Issues:0

julia

The Julia Programming Language

Language:JuliaLicense:MITStargazers:45027Issues:0Issues:0

LibreChat

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

Language:TypeScriptLicense:MITStargazers:15541Issues:0Issues:0

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10307Issues:0Issues:0

hvm-64

Language:RustLicense:Apache-2.0Stargazers:497Issues:0Issues:0

monaspace

An innovative superfamily of fonts for code

Language:TypeScriptLicense:OFL-1.1Stargazers:13230Issues:0Issues:0

MiniZincIDE

The MiniZinc IDE

Language:C++License:MPL-2.0Stargazers:138Issues:0Issues:0

typst

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

Language:RustLicense:Apache-2.0Stargazers:30050Issues:0Issues:0

Satty

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

Language:RustLicense:MPL-2.0Stargazers:406Issues:0Issues:0

jj

A Git-compatible VCS that is both simple and powerful

Language:RustLicense:Apache-2.0Stargazers:7509Issues:0Issues:0

SBVA

Structured BVA

Language:C++License:MITStargazers:26Issues:0Issues:0

chuffed

The Chuffed CP solver

Language:C++License:MITStargazers:84Issues:0Issues:0

gecode

Generic Constraint Development Environment

Language:C++License:NOASSERTIONStargazers:270Issues:0Issues:0

breakid

BreakID, a CNF symmetry-breaking library and tool

Language:C++License:NOASSERTIONStargazers:4Issues:0Issues:0

pblib

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

Language:C++License:NOASSERTIONStargazers:16Issues:0Issues:0

autogram

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

Language:JavaLicense:EUPL-1.2Stargazers:105Issues:0Issues:0

StableStudio

Community interface for generative AI

Language:TypeScriptLicense:MITStargazers:8512Issues:0Issues:0

mojo

The Mojo Programming Language

Language:MojoLicense:NOASSERTIONStargazers:22303Issues:0Issues:0

libminizinc

The MiniZinc compiler

Language:C++License:NOASSERTIONStargazers:490Issues:0Issues:0

kissat

Language:CLicense:MITStargazers:416Issues:0Issues:0

cadical

CaDiCaL SAT Solver

Language:C++License:MITStargazers:329Issues:0Issues:0

cryptominisat

An advanced SAT solver

Language:C++License:NOASSERTIONStargazers:803Issues:0Issues:0

dalai

The simplest way to run LLaMA on your local machine

Language:CSSStargazers:13091Issues:0Issues:0

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:JavaScriptLicense:NOASSERTIONStargazers:9333Issues:0Issues:0

stable-diffusion-webui

Stable Diffusion web UI

Language:PythonLicense:AGPL-3.0Stargazers:136102Issues:0Issues:0

gpt4all

GPT4All: Chat with Local LLMs on Any Device

Language:C++License:MITStargazers:67437Issues:0Issues:0

primesieve

🚀 Fast prime number generator

Language:C++License:BSD-2-ClauseStargazers:933Issues:0Issues:0

penrose

Create beautiful diagrams just by typing notation in plain text.

Language:TypeScriptLicense:MITStargazers:6725Issues:0Issues:0

life

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

Language:JavaScriptLicense:BSD-2-ClauseStargazers:391Issues:0Issues:0

v86

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

Language:RustLicense:BSD-2-ClauseStargazers:19432Issues:0Issues:0