puyol

Pinned Repositories

A2osX
Multi-Tasking OS for Apple II
Language:Batchfile0 2 00
abseil-cpp
Abseil Common Libraries (C++)
Language:C++0 2 00
Adafruit_Python_BluefruitLE
Python library to simplify access to Bluetooth low energy devices and services on Linux (using bluez) and Mac OSX.
Language:Python0 2 00
agge
Anti-Grain Evolution. 2D graphics engine for Speed and Quality in C++.
Language:C++0 2 00
agile-development-cheat-sheet
2017 Agile Development Cheat Sheet
0 2 00
AirSim
Open source simulator based on Unreal Engine for autonomous vehicles from Microsoft AI & Research
Language:C++0 2 00
AVR_emulated_6502_4SBC
Modular 6502 SBC with emulated CPU
Language:Assembly0 1 00
BeaconScanner
iBeacon Scanning Utility App for OSX
Language:Objective-C0 2 00
bitio
A micro:bit I/O device library for Python
Language:Python0 2 00

puyol's Repositories

puyol/abseil-cpp
Abseil Common Libraries (C++)
Language:C++0 2 00
puyol/AVR_emulated_6502_4SBC
Modular 6502 SBC with emulated CPU
Language:Assembly0 1 00
puyol/cargo-fel4
A Cargo subcommand for working with feL4 projects.
Language:Rust2 0
puyol/client-samples
Client samples to run with Gluon Client plugins for Maven and Gradle
Language:Java1 0
puyol/CppCoreGuidelines
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
Language:Python2 0
puyol/fabpide2
STUSB4500 Breakout — Stand-alone USB PD Sink Controller
Language:C++1 0
puyol/frap
Formal Reasoning About Programs
Language:Coq1 0
puyol/gfx
A high-performance, bindless graphics API for Rust.
Language:Rust2 0
puyol/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:Swift2 0
puyol/imgui
Dear ImGui: Bloat-free Immediate Mode Graphical User interface for C++ with minimal dependencies
Language:C++1 0
puyol/libaco
A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞
Language:C2 0
puyol/libdill
Structured concurrency in C
Language:C2 0
puyol/mal
mal - Make a Lisp
Language:Assembly2 0
puyol/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++2 0
puyol/NMEA0183
Library for handling NMEA0183 messages
Language:C++2 0
puyol/nxt-standalone
ANGLE-like library for Chromium's next-generation Web graphics API prototype.
Language:C++2 0
puyol/OMicroB
An Ocaml generic virtual machine for microcontrollers
Language:OCaml2 0
puyol/OpenSubdiv
An Open-Source subdivision surface library.
Language:C++2 0
puyol/pico-blink-rs
World's first, but possibly worst, blinky for the pico in Rust
Language:Rust1 0
puyol/PythonRobotics
Python sample codes for robotics algorithms.
Language:Python2 0
puyol/RSParser
Parser for RSS, Atom, JSON Feed, RSS-inJSON, OPML, and HTML.
Language:HTML2 0
puyol/rust
A safe, concurrent, practical language.
Language:Rust2 0
puyol/swift
The Swift Programming Language
Language:C++2 0
puyol/SwiftCrossPlatformFramework
Tutorial to create cross platform framework for Swift compatible with Carthage and SwiftPM
Language:Objective-C2 0
puyol/swiftplot
Swift library for Data Visualization :bar_chart:
Language:C++1 0
puyol/TaliForth2
A Subroutine Threaded Code (STC) ANS-like Forth for the 65c02
Language:Assembly2 0
puyol/UTM
Virtual machines for iOS
Language:Objective-C1 0
puyol/VST
Verified Software Toolchain
Language:Coq2 0
puyol/wg-verification
Verification working group
2 0
puyol/z3
The Z3 Theorem Prover
Language:C++2 0