Ruby Extension Library Verified using Coq Proof-assistant

C Programming

talk by Juan Carlos Ruiz: Going native with FFI

Going native with FFI

Juan Carlos Ruiz

EuRuKo 2021

talk by Amir Rajan: Building a game for the Nintendo Switch using Ruby - First Half

Building a game for the Nintendo Switch using Ruby - First Half

Amir Rajan

RubyKaigi 2019

talk by Tanaka Akira: Ruby Extension Library Verified using Coq Proof-assistant

Ruby Extension Library Verified using Coq Proof-assistant

Tanaka Akira

RubyKaigi 2017

talk by Sam Rawlins: The State of C Extensions: Alive and Well, so Learn to Deal

The State of C Extensions: Alive and Well, so Learn to Deal

Sam Rawlins

MountainWest RubyConf 2011

talk by Andy Pliszka: Introduction to CRuby source code

Introduction to CRuby source code

Andy Pliszka

MountainWest RubyConf 2014

talk by Charles Cornell: Getting Started With C++ Extensions

Getting Started With C++ Extensions

Charles Cornell

LoneStarRuby Conf 2010