+
Skip to content
View andreabedini's full-sized avatar

Sponsoring

@hasufell

Highlights

  • Pro

Organizations

@input-output-hk @stable-haskell

Block or report andreabedini

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

Starred repositories

Showing results

🐬 A collection of awesome resources for the Flipper Zero device.

21,057 920 Updated Sep 27, 2024

YAML Specification

HTML 399 70 Updated Aug 20, 2024

A stream-based runtime-verification framework for generating hard real-time C code.

Haskell 748 70 Updated Jul 8, 2025

The symbolic execution engine powering the K Framework

Haskell 219 43 Updated Jul 15, 2025

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

C++ 66,856 11,035 Updated Jul 11, 2025

Droidcam that actually works

Shell 1 Updated Sep 21, 2021

A curated list of amazingly awesome open-source sysadmin resources.

29,797 1,736 Updated Jul 12, 2025

A list of Free Software network services and web applications which can be hosted on your own servers

236,399 10,972 Updated Jul 14, 2025

Disassemblies of the different Game Boy boot ROMs

Assembly 99 11 Updated May 20, 2025

Template for UEFI runtime drivers written in Rust with serial logging and debugging support.

Rust 58 3 Updated Oct 9, 2020

🍸Vesper - HTTP Framework for Bash Shell

Shell 212 8 Updated Nov 28, 2019

A powerful little TUI framework 🏗

Go 33,212 940 Updated Jul 14, 2025

A collection of resources for learning type theory and type theory adjacent fields.

2,320 126 Updated Apr 21, 2025

Differential dataflow for mere mortals

Zig 522 17 Updated Apr 14, 2022
点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载