Giters
puyol

puyol

Geek Repo

2

followers

25

following

606

stars

Github PK Tool:Github PK Tool

puyol's repositories

abseil-cpp

Abseil Common Libraries (C++)

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

AVR_emulated_6502_4SBC

Modular 6502 SBC with emulated CPU

Language:AssemblyLicense:GPL-3.0Stargazers:0Issues:1Issues:0

cargo-fel4

A Cargo subcommand for working with feL4 projects.

Language:RustLicense:MITStargazers:0Issues:2Issues:0

client-samples

Client samples to run with Gluon Client plugins for Maven and Gradle

Language:JavaStargazers:0Issues:1Issues:0

CppCoreGuidelines

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

fabpide2

STUSB4500 Breakout — Stand-alone USB PD Sink Controller

Language:C++Stargazers:0Issues:1Issues:0

frap

Formal Reasoning About Programs

Language:CoqStargazers:0Issues:1Issues:0

gfx

A high-performance, bindless graphics API for Rust.

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

git-annex-turtle

git-annex-turtle provides Apple Finder integration for git-annex on macOS, including custom badge icons, contextual menus and a Menubar icon. It is free, open-source and licensed under The MIT License.

Language:SwiftLicense:NOASSERTIONStargazers:0Issues:2Issues:0

imgui

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

License:MITStargazers:0Issues:0Issues:0

libaco

A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞

Language:CLicense:Apache-2.0Stargazers:0Issues:2Issues:0

libdill

Structured concurrency in C

Language:CLicense:MITStargazers:0Issues:2Issues:0

mal

mal - Make a Lisp

Language:AssemblyLicense:NOASSERTIONStargazers:0Issues:2Issues:0

MoltenVK

MoltenVK is an implementation of the high-performance, industry-standard Vulkan graphics and compute API, that runs on Apple's Metal graphics framework, bringing Vulkan to iOS and macOS.

Language:Objective-C++License:Apache-2.0Stargazers:0Issues:2Issues:0

NMEA0183

Library for handling NMEA0183 messages

Language:C++Stargazers:0Issues:2Issues:0

nxt-standalone

ANGLE-like library for Chromium's next-generation Web graphics API prototype.

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

OMicroB

An Ocaml generic virtual machine for microcontrollers

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

OpenSubdiv

An Open-Source subdivision surface library.

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

pico-blink-rs

World's first, but possibly worst, blinky for the pico in Rust

Language:RustStargazers:0Issues:1Issues:0

PythonRobotics

Python sample codes for robotics algorithms.

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

RSParser

Parser for RSS, Atom, JSON Feed, RSS-inJSON, OPML, and HTML.

Language:HTMLLicense:MITStargazers:0Issues:2Issues:0

rust

A safe, concurrent, practical language.

Language:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0

swift

The Swift Programming Language

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

SwiftCrossPlatformFramework

Tutorial to create cross platform framework for Swift compatible with Carthage and SwiftPM

Language:Objective-CLicense:MITStargazers:0Issues:2Issues:0

swiftplot

Swift library for Data Visualization :bar_chart:

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

TaliForth2

A Subroutine Threaded Code (STC) ANS-like Forth for the 65c02

Language:AssemblyLicense:NOASSERTIONStargazers:0Issues:2Issues:0

UTM

Virtual machines for iOS

Language:Objective-CLicense:Apache-2.0Stargazers:0Issues:1Issues:0

VST

Verified Software Toolchain

Language:CoqLicense:NOASSERTIONStargazers:0Issues:2Issues:0

wg-verification

Verification working group

License:Apache-2.0Stargazers:0Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0