Skip to content
View mietek's full-sized avatar

Organizations

@dpndnt

Block or report mietek

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
Showing results

macOS OCR command-line tool for almost any image format

Python 55 3 Updated Feb 14, 2025

Use the reMarkable2 as an interface to vision-LLMs (ChatGPT, Claude, Gemini). Ghost in the machine!

Rust 425 17 Updated Feb 17, 2025

Using your Apple device as an access card in unsupported systems

346 9 Updated Jan 20, 2025

Noto Emoji with extended Blob support

HTML 520 26 Updated Mar 6, 2024

A rich repositery of BlobCat emojis, derived from Google's blob emojis

101 4 Updated Nov 24, 2023

Play with fluids in your browser (works even on mobile)

JavaScript 15,127 1,718 Updated Nov 12, 2024

Community plugins list, theme list, and releases of Obsidian.

10,643 2,847 Updated Feb 24, 2025

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Zig 27,275 690 Updated Feb 23, 2025

An activation program for VocalWriter; a 23 year old, discontinued vocal synthesizer for Power PC Macs

C# 12 2 Updated Sep 10, 2021

A compatibility environment that can run M68000 MINIX 1.5 binaries, for example to enable building M68000 MINIX on a modern UNIX.

C 27 5 Updated Dec 23, 2024

A graphical interactive proof assistant designed for education

Haskell 165 7 Updated Nov 21, 2024

Demo for dependent types + runtime code generation

Haskell 66 1 Updated Feb 18, 2025

Noninterference by normalization (by evaluation)

Agda 2 1 Updated Jun 25, 2020

An abstract set theory library that can be instantiated in various ways

Agda 3 1 Updated Jan 17, 2025

Meta-programming utilities for Agda.

Agda 18 3 Updated Jan 17, 2025

Extension of Agda's standard library to accommodate a more typeclass-friendly interface.

Agda 3 3 Updated Feb 20, 2025

an implementation of stuck macros

Haskell 138 11 Updated Feb 18, 2025

current focus on Colorlight i5 and i9 & i9plus module

Verilog 283 62 Updated Oct 6, 2024

Various files

20 1 Updated Dec 5, 2018

iSCSI Initiator for macOS

C 561 96 Updated Feb 28, 2023

browse the modern web on vintage computers

Python 157 9 Updated Jan 5, 2025

Drawing graphics efficiently on Apple Vision using the Metal rendering API

265 4 Updated Nov 4, 2024

Very personal and subjective lists and notes of typefaces for text/book setting, sans serifs, monospace, and other novelties

3 Updated Feb 19, 2025

Check agda commands from your terminal

JavaScript 2 1 Updated Oct 7, 2024
Rust 348 8 Updated Sep 6, 2024

A modern, cross-platform, highly modular / decoupled, data-driven, ECS-based game engine written in Rust with scripting support for C#, JavaScript and Rust to Rust (WASM), hot-reloading, WebGPU ren…

Rust 297 10 Updated Feb 22, 2025

Vim integration with Agda

Vim Script 7 1 Updated Jun 6, 2021

Asynchronous type-checking for Agda 2.6.2.

Vim Script 22 2 Updated May 17, 2024

Agda interaction pluging for neovim

Lua 37 5 Updated Oct 10, 2024
Next
Showing results