womeier

womeier's Stars

• XingangPan/DragGAN

  Official Code for DragGAN (SIGGRAPH 2023)

  Language:Python35.7k9961883.4k

• typst/typst

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

  Language:Rust32.9k882.5k888

• penpot/penpot

  Penpot: The open-source design tool for design and code collaboration

  Language:Clojure32.8k2241.6k1.6k

• s0md3v/roop

  one-click face swap

  Language:Python28.1k25306.8k

• google-research/tuning_playbook

  A playbook for systematically maximizing the performance of deep learning models.

  26.6k286412.2k

• NvChad/NvChad

  Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.

  Language:Lua24.4k1461.6k2.1k

• bytecodealliance/wasmtime

  A fast and secure runtime for WebAssembly

  Language:Rust15.2k1772.5k1.3k

• folke/lazy.nvim

  💤 A modern plugin manager for Neovim

  Language:Lua14.2k42846344

• vitalik/django-ninja

  💨 Fast, Async-ready, Openapi, type hints based framework for building APIs

  Language:Python7k73827421

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.8k10310k643

• seL4/seL4

  The seL4 microkernel

  Language:C4.7k204420662

• WebAssembly/spec

  WebAssembly specification, reference interpreter, and test suite.

  Language:WebAssembly3.1k209610446

• zbirenbaum/copilot.lua

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

  Language:Lua2.6k918975

• bytecodealliance/wizer

  The WebAssembly Pre-Initializer

  Language:Rust939163455

• bkitano/llama-from-scratch

  Llama from scratch, or How to implement a paper without crying

  Language:Jupyter Notebook5035848

• potamides/DeTikZify

  Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ

  Language:Python4555411

• 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:Shell330105327

• cpitclaudel/alectryon

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

  Language:HTML230107635

• frenetic-lang/frenetic

  The Frenetic Programming Language and Runtime System

  Language:OCaml2234129851

• keith/git-pile

  Stacked diff support for GitHub workflows

  Language:Shell15051611

• 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:Python12412019

• seL4/microkit

  Microkit - A simple operating system framework for the seL4 microkernel

  Language:Rust79265542

• UniMath/Schools

  Language:Coq77151421

• r1ru/WasmOS

  A proof-of-concept microkernel that runs WebAssembly natively.

  Language:C61052

• acieroid/wassail

  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.

  Language:WebAssembly44547

• CertiCoq/VeriFFI

  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project

  Language:Coq29811

• yforster/coqtheorem

  A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.

  Language:TeX15343

• AU-COBRA/coq-rust-extraction

  Coq plugin for extracting Rust code

  Language:Coq10273

• thery/FlocqLecture

  Language:Coq7301

• MatteP1/SystemF-Normalisation

  Formal Proof of Normalisation in System F

  Language:Coq1