RexYuan

Rex Yuan's starred repositories

sd-webui-additional-networks

Language:PythonAGPL-3.0177200

a1111-sd-webui-lycoris

An extension for stable-diffusion-webui to load lycoris models.

Language:PythonApache-2.086200

etcher

Flash OS images to SD cards & USB drives, safely and easily.

Language:TypeScriptApache-2.02947200

civitai

A repository of models, textual inversions, and more

Language:TypeScriptApache-2.0611900

stable-diffusion-webui

Stable Diffusion web UI

Language:PythonAGPL-3.014061200

stable-diffusion-webui-feature-showcase

Feature showcase for stable-diffusion-webui

98900

gpt4all

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

Language:C++MIT6969600

sketch-frontend

Language:JavaNOASSERTION3300

mockingbirds_lean

Solution to the puzzles in "To Mock a Mockingbird" book written in Lean

Language:Lean100

jSMTLIB

jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.

Language:Java2600

openai-cookbook

Examples and guides for using the OpenAI API

Language:MDXMIT5883300

satch

SAT Solver SATCH

Language:CMIT10500

acsl-by-example

Public snapshots of "ACSL by Example"

Language:TeXMIT9900

tutoriel_wp

Frama-C and WP tutorial

Language:TeXNOASSERTION5200

typst

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

Language:RustApache-2.03301800

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

Language:SMTNOASSERTION33500

Singular

sources for the Singular computer algebra system

Language:C++NOASSERTION25900

Deedy-Resume-Cover-Letter

A one page, two asymmetric column resume and cover letter templates written in XeTeX.

Language:TeXNOASSERTION2000

cedar

Implementation of the Cedar Policy Language

Language:RustApache-2.084200

hugo-book

Hugo documentation theme as simple as plain book

Language:HTMLMIT339600

leetcode-master

《代码随想录》LeetCode 刷题攻略：200道经典题目刷题顺序，共60w字的详细图解，视频难点剖析，50余张思维导图，支持C++，Java，Python，Go，JavaScript等多语言版本，从此算法学习不再迷茫！🔥🔥 来看看，你会发现相见恨晚！🚀

Language:Shell5091800

mastodon

Your self-hosted, globally interconnected microblogging community

Language:RubyAGPL-3.04687000

py-aiger

py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).

Language:PythonMIT4000

pysat

A toolkit for SAT-based prototyping in Python

Language:PythonMIT38600

intel_sat_solver

This repository contains the code of Intel(R) SAT Solver (IntelSAT)

Language:C++MIT2500

PythonExtensionPatterns

Examples of safe coding practice for Python C extensions.

Language:CMIT22000

PythonCppExtension

Language:C++800

PyMiniSolvers

A Python API for the MiniSat and MiniCard constraint solvers.

Language:C++NOASSERTION1900

varisat

SAT solver written in Rust

Language:RustApache-2.025400

bat

A cat(1) clone with wings.

Language:RustApache-2.04902200