HansBug

HansBug's Stars

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.4k1.5k

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1k234

• AlexandreDecan/sismic

  Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/

  Language:Python14426

• matthewwithanm/python-markdownify

  Convert HTML to Markdown

  Language:Python1.2k140

• BLKSerene/Wordless

  An Integrated Corpus Tool With Multilingual Support for the Study of Language, Literature, and Translation

  Language:Python70092

• iSEngLab/AwesomeLLM4SE

  A Survey on Large Language Models for Software Engineering

  16812

• Jack0Chan/PyUPPAAL

  PyUPPAAL is a python package basically for reflecting UPPAAL's model editing, verification, and counter-example parsing operations into scripts.

  Language:Python334

• rspeer/ordered-set

  A mutable set that remembers the order of its entries. One of Python's missing data types.

  Language:Python21547

• Westfall-io/sysml2py

  Parser for SysML 2.0 into Python

  Language:Python172

• retorquere/zotero-deb

  Packaged versions of Zotero and Juris-M for Debian-based systems

  Language:Crystal90132

• Baekalfen/PyBoy

  Game Boy emulator written in Python

  Language:Python4.7k477

• flightcontrolhq/superjson

  Safely serialize JavaScript expressions to a superset of JSON, which includes Dates, BigInts, and more.

  Language:TypeScript4.2k91

• WenmuZhou/DBNet.pytorch

  A pytorch re-implementation of Real-time Scene Text Detection with Differentiable Binarization

  Language:Python964249

• meta-llama/llama

  Inference code for Llama models

  Language:Python56.6k9.6k

• LiWentomng/BoxInstSeg

  A toolbox for box-supervised instance segmentation.

  Language:Python40738

• scrapinghub/dateparser

  python parser for human readable dates

  Language:Python2.6k465

• rapidfuzz/RapidFuzz

  Rapid fuzzy string matching in Python using various string metrics

  Language:C++2.7k120

• moebooru/moebooru

  Moebooru, a fork of danbooru1 that has been heavily modified

  Language:Ruby52979

• VeNoMouS/cloudscraper

  A Python module to bypass Cloudflare's anti-bot page.

  Language:Python4.5k484

• imgly/background-removal-js

  Remove backgrounds from images directly in the browser environment with ease and no additional costs or privacy concerns. Explore an interactive demo.

  Language:TypeScript5.9k363

• XingangPan/DragGAN

  Official Code for DragGAN (SIGGRAPH 2023)

  Language:Python35.8k3.5k

• grantjenks/python-sortedcontainers

  Python Sorted Container Types: Sorted List, Sorted Dict, and Sorted Set

  Language:Python3.6k206

• richzhang/PerceptualSimilarity

  LPIPS metric. pip install lpips

  Language:Python3.7k500

• S-aiueo32/lpips-pytorch

  A simple and useful implementation of LPIPS.

  Language:Python15725

• voila-dashboards/voila

  Voilà turns Jupyter notebooks into standalone web applications

  Language:Python5.5k504

• carpedm20/emoji

  emoji terminal output for Python

  Language:Python1.9k278

• vuetifyjs/vuetify

  🐉 Vue Component Framework

  Language:TypeScript39.9k7k

• maxfischer2781/asyncstdlib

  the missing toolbox for an async world

  Language:Python24521

• jiaaro/pydub

  Manipulate audio with a simple and easy high level interface

  Language:Python9k1k

• wszqkzqk/pypvz

  植物大战僵尸的开源Python实现 (An open-source python implementation of Plants vs. Zombies)

  Language:Python15446