8000 pavly-gerges (Pavly Gerges (pavl_g)) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View pavly-gerges's full-sized avatar
🤖
Electrostat Lab.
🤖
Electrostat Lab.

Organizations

@jMonkeyBuilder @Electrostat-Lab

Block or report pavly-gerges

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 Coq library for Homotopy Type Theory

Coq 1,317 196 Updated May 9, 2025

Homotopy type theory

Coq 13 4 Updated Sep 21, 2022

A textbook on informal homotopy type theory

TeX 2,081 368 Updated May 19, 2025

High Performance data structures and utility methods for Java

Java 3,011 413 Updated Jun 1, 2025

LITIENGINE 🕹 The pure 2D java game engine.

Java 772 100 Updated May 30, 2025

Inherited object for use NMEA2000 with ESP32 boards

C 79 46 Updated Aug 9, 2024

PositionBasedDynamics is a library for the physically-based simulation of rigid bodies, deformable solids and fluids.

C++ 2,051 374 Updated Jul 10, 2024

Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.

C 19,773 3,651 Updated May 29, 2025

Design and program Arm-based embedded systems and implement them in low-level hardware using standard C and assembly language.

C 98 29 Updated May 30, 2025

This textbook gives students an understanding of the most important topics in embedded systems design using a coherent, compelling and hands-on approach.

144 16 Updated Nov 29, 2024

Updated 2018 version of MAME (0.78) for libretro. with added game support plus many fixes and improvements

C 226 119 Updated May 17, 2025

A Statically typed, compiled general purpose low level programming language built using C++ and LLVM Infrastructure framework designed to be simple and fast

C++ 76 4 Updated Sep 8, 2023

F Prime Prime: A modeling language for F Prime

Scala 69 40 Updated May 28, 2025

A roadmap for those who want to build a career as an FPGA / ASIC Engineer

336 37 Updated Nov 30, 2024

Basic implementation of AES in C + Tutorial

C 52 14 Updated Jun 8, 2024

Github Pages template based upon HTML and Markdown for personal, portfolio-based websites.

HTML 14,321 43,626 Updated May 14, 2025

My solutions of Computer Systems: A Programmer’s Perspective, Third Edition (CS:APP3e) book, the text book for the course, CMU15-213: Introduction to Computer Systems.

C 41 10 Updated Mar 25, 2022

Core module of the Mupen64Plus project

C 1,398 260 Updated May 5, 2025

Implementation of C++26 §29.10 Data-parallel types for GCC

C++ 7 Updated May 27, 2025

A Vulkan-based 3-D graphics engine, written in Java (code has New BSD license)

Java 10 Updated May 22, 2025

Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.

Java 2,540 127 Updated May 26, 2025

Visual Studio templates to generate C# and VB .NET Revit add-ins

Visual Basic .NET 248 79 Updated Jan 6, 2025

The F´ Hello World Tutorial

C++ 24 19 Updated May 30, 2025

Java Runtime Compiler

Java 685 147 Updated May 29, 2025

The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.

C 4,413 410 Updated Aug 25, 2022

The Data Integration Library project provides a library of generic components based on a multi-stage architecture for data ingress and egress.

Java 32 15 Updated May 6, 2025

Bind a java thread to a given core

Java 1,845 371 Updated May 29, 2025

Cross-platform Nestopia emulator core with a GUI

C++ 782 168 Updated May 25, 2025

A beautiful and responsive image generator SaaS powered by the Skytells AI API.

TypeScript 12 5 Updated Mar 22, 2025

Interactive C/C++ preprocessor macro debugger

C++ 167 8 Updated Dec 18, 2020
Next
0