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

YAML Specification

HTML 355 56 Updated Aug 20, 2024

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

Haskell 660 57 Updated Dec 18, 2024

The symbolic execution engine powering the K Framework

Haskell 213 42 Updated Dec 20, 2024

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

C++ 61,914 10,423 Updated Dec 20, 2024

Droidcam that actually works

Shell 1 Updated Sep 21, 2021

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

25,978 1,465 Updated Aug 18, 2024

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

208,302 9,904 Updated Dec 21, 2024

Disassemblies of the different Game Boy boot ROMs

Assembly 83 11 Updated Nov 3, 2024

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 209 8 Updated Nov 28, 2019

A powerful little TUI framework 🏗

Go 28,635 833 Updated Dec 20, 2024

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

2,185 118 Updated Aug 30, 2024

Differential dataflow for mere mortals

Zig 516 17 Updated Apr 14, 2022
Showing results