[go: up one dir, main page]

Skip to content
View womeier's full-sized avatar

Block or report womeier

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

todo anschauen

23 repositories

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

Lua 2,538 72 Updated Aug 13, 2024

πŸ’€ A modern plugin manager for Neovim

Lua 13,768 330 Updated Aug 17, 2024

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

Lua 24,128 2,102 Updated Aug 27, 2024
Coq 77 21 Updated Aug 20, 2024

Formal Proof of Normalisation in System F

Coq 1 Updated Dec 10, 2023

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

Coq 25 1 Updated Jul 18, 2024

πŸ’¨ Fast, Async-ready, Openapi, type hints based framework for building APIs

Python 6,854 416 Updated Aug 20, 2024

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

C 54 2 Updated Feb 19, 2024

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

WebAssembly 44 7 Updated Feb 15, 2024
Coq 7 1 Updated Feb 20, 2023

Microkit - A simple operating system framework for the seL4 microkernel

Rust 76 40 Updated Aug 27, 2024

The seL4 microkernel

C 4,645 658 Updated Aug 19, 2024

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

26,203 2,176 Updated Jun 18, 2024

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

Clojure 32,019 1,589 Updated Aug 27, 2024

The Frenetic Programming Language and Runtime System

OCaml 223 52 Updated Nov 14, 2023

Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ

Python 446 11 Updated Jul 21, 2024

Stacked diff support for GitHub workflows

Shell 146 11 Updated Mar 19, 2024

Creusot helps you prove your code is correct in an automated fashion.

Rust 1,099 50 Updated Aug 27, 2024

A static verifier for Rust, based on the Viper verification infrastructure.

Rust 1,545 106 Updated Aug 7, 2024

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

Rust 16,360 725 Updated Aug 26, 2024

our vim dotfiles

Vim Script 138 115 Updated Mar 6, 2024

LTeX Language Server: LSP language server for LanguageTool πŸ”βœ”οΈ with support for LaTeX πŸŽ“, Markdown πŸ“, and others

Kotlin 758 33 Updated Oct 6, 2023

Use your Neovim like using Cursor AI IDE!

Lua 2,909 73 Updated Aug 27, 2024