Skip to content
View lukel97's full-sized avatar
Block or Report

Block or report lukel97

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
Beta Lists are currently in beta. Share feedback and report bugs.

Starred repositories

Showing results

A collection of RISC-V Vector (RVV) benchmarks to help developers write portably performant RVV code. (Results)

HTML 22 3 Updated Jul 14, 2024

A collection of RISC-V Vector (RVV) benchmarks to help developers write portably performant RVV code

Assembly 69 9 Updated Jul 14, 2024

The CompCert formally-verified C compiler

Coq 1,834 223 Updated Jul 19, 2024

The MacPorts ports tree

Tcl 1,488 1,277 Updated Jul 22, 2024

RISC-V Online Help

JavaScript 33 2 Updated Jan 12, 2024

Tramp integration for LXC containers

Emacs Lisp 10 1 Updated Jan 19, 2023

macOS native Matrix client

Swift 68 2 Updated Jul 31, 2023

It's like undelete for your git repository.

Shell 220 27 Updated May 18, 2022

An OSX style genie effect inside your iOS app.

Objective-C 1,432 197 Updated Sep 24, 2017

Ruby's rdbg debugger support for Nova.

JavaScript 5 1 Updated Apr 19, 2024

A Ruby APNs HTTP/2 gem able to provide instant feedback.

Ruby 474 95 Updated May 27, 2024

Home of the WebKit project, the browser engine used by Safari, Mail, App Store and many other applications on macOS, iOS and Linux.

C++ 7,673 1,292 Updated Jul 22, 2024

SSA-based JIT Compiler - A personal project inspired by college courses on compilers

C++ 8 3 Updated Nov 12, 2023

✨ A magical persistence library (and so much more) for state-driven iOS and Mac apps ✨

Swift 901 43 Updated Jun 24, 2024

Working draft of "GraphQL over HTTP" specification

JavaScript 374 58 Updated Jul 22, 2024

Custom view controller transitions: scary, but not THAT scary.

Swift 116 11 Updated May 31, 2021

WebAuthn ruby server library ― Make your Ruby/Rails web server become a conformant WebAuthn Relying Party

Ruby 638 53 Updated Mar 8, 2024

Build and execute GraphQL queries in the terminal.

Python 460 8 Updated Sep 15, 2023

Ruby on Rails

Ruby 55,352 21,441 Updated Jul 22, 2024

Jetpack Media3 support libraries for media use cases, including ExoPlayer, an extensible media player for Android

Java 1,409 331 Updated Jul 22, 2024

GraphQL execution using a JIT compiler

TypeScript 1,034 56 Updated Jul 11, 2024

Spotify Reverse Engineering tools and scripts

Lua 46 6 Updated Feb 24, 2021

Open Source Spotify client library

Rust 4,500 545 Updated Jul 16, 2024

A purely functional programming language with first class types

Idris 2,464 368 Updated Jul 19, 2024

[WWDC 22 Swift Student Challenge Winner] Pegboard, a SwiftUI based node-editor workspace for game dev and more

Swift 228 20 Updated Apr 25, 2022

Open Source Spotify client library

Rust 1,133 187 Updated Aug 23, 2019

CachedAsyncImage is the simplest way to add cache to your AsyncImage.

Swift 562 60 Updated May 16, 2024

A pytest plugin to facilitate image comparison for Matplotlib figures

Python 237 46 Updated Jul 7, 2024

Haskell library for space- and time-efficient operations over Unicode text.

Haskell 407 157 Updated Jul 22, 2024
Next