Giters
Ted Kaminski (tedinski)

tedinski

Geek Repo

56

followers

0

following

12

stars

Location:Minneapolis

Home Page:https://www.tedinski.com/

Twitter:@tedinski

Github PK Tool:Github PK Tool

Organizations
melt-umn

Ted Kaminski's repositories

relative-library-demo

A short demo of looking up the location a shared library was loaded from.

Language:CStargazers:2Issues:1Issues:0

adtc

Rich data type code generator for C and other languages

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

talks

Slides for talks I have given

Language:TeXStargazers:1Issues:2Issues:0

cargo

The Rust package manager

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

imp.runtime.feature

eclipse feature project for the IMP runtime

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:1Issues:0

kani-github-action

This repository provides a GitHub Action for running the Kani Rust Verifier in CI.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rmc

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

rust-analyzer

A Rust compiler front-end for IDEs

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

vm-virtio

virtio implementation

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