womeier

womeier's Stars

• MicheleCotrufo/pdf-renamer

  A python tool to automatically rename the pdf files of scientific publications by looking up the publication metadata on the web.

  Language:Python13421

• folke/lazy.nvim

  💤 A modern plugin manager for Neovim

  Language:Lua14.9k361

• zbirenbaum/copilot.lua

  Fully featured & enhanced replacement for copilot.vim complete with API for interacting with Github Copilot

  Language:Lua2.8k82

• XingangPan/DragGAN

  Official Code for DragGAN (SIGGRAPH 2023)

  Language:Python35.7k3.5k

• UniMath/Schools

  Language:Coq7721

• cpitclaudel/alectryon

  A collection of tools for writing technical documents that mix Coq code and prose.

  Language:HTML23634

• s0md3v/roop

  one-click face swap

  Language:Python28.6k7k

• vmware-labs/webassembly-language-runtimes

  Wasm Language Runtimes provides popular language runtimes (Ruby, Python, …) precompiled to WebAssembly that are tested for compatibility and kept up to date when new versions of upstream languages are released

  Language:Shell33629

• langchain-ai/langchain

  🦜🔗 Build context-aware reasoning applications

  Language:Jupyter Notebook94.9k15.4k

• hendrikboeck/ant-rs

  Another Network Tunnel; A simple program for local/remote port forwarding over a SSH tunnel.

  Language:Rust282

• streetcomplete/StreetComplete

  Easy to use OpenStreetMap editor for Android

  Language:Kotlin3.9k357

• WasmCert/WasmCert-Coq

  A mechanisation of Wasm in Coq

  Language:Coq9511

• CertiCoq/certicoq

  A Verified Compiler for Gallina, Written in Gallina

  Language:Coq13625

• openai/whisper

  Robust Speech Recognition via Large-Scale Weak Supervision

  Language:Python71.3k8.5k

• microsoft/playwright

  Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

  Language:TypeScript67k3.7k

• brycedrennan/imaginAIry

  Pythonic AI generation of images and videos

  Language:Python8k443

• tectonic-typesetting/tectonic

  A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

  Language:C4k162

• naoto0804/pytorch-AdaIN

  Unofficial pytorch implementation of 'Arbitrary Style Transfer in Real-time with Adaptive Instance Normalization' [Huang+, ICCV2017]

  Language:Python1.1k208