Adam Leventhal's repositories

terrassert

Simple Terraform module for asserting value equality

Language:HCLLicense:Apache-2.0Stargazers:10Issues:4Issues:0
License:Apache-2.0Stargazers:0Issues:0Issues:0

cargo-expand

Subcommand to show result of macro expansion

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

cdoc_regression

test case for a regression in c-style doc comment handling betweeen rust 1.46 and 1.47

Language:RustStargazers:0Issues:2Issues:0
Language:JavaStargazers:0Issues:2Issues:0
Language:PythonLicense:Apache-2.0Stargazers:0Issues:3Issues:0
Stargazers:0Issues:2Issues:0

electron_jira

Utility to create an electron wrapper for Jira

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

eleventy

A simpler static site generator. An alternative to Jekyll. Transforms a directory of templates (of varying types) into HTML.

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

fmt-rfcs

RFCs for Rust formatting guidelines and changes to Rustfmt

Stargazers:0Issues:0Issues:0

impl-trait-for-tuples

Rust attribute macro to implement a trait for tuples

Language:RustStargazers:0Issues:2Issues:0

kops

Kubernetes Operations (kops) - Production Grade K8s Installation, Upgrades, and Management

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

libtock-c

Userland apps for Tock written in C and C++

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

libtock-rs

Rust userland library for Tock

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

openapi-generator

OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)

Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

OpenAPI-Specification

The OpenAPI Specification Repository

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

opendtrace

Code for the cross platform, single source, OpenDTrace implementation

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

opentitan

OpenTitan: Open source silicon root of trust

Language:SystemVerilogLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Stargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:3Issues:0

rfcs

RFCs for changes to Rust

Language:ShellLicense:Apache-2.0Stargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:2Issues:0

span_regression

test case for a regression in span handling between rust 1.45 and 1.46

Language:RustStargazers:0Issues:3Issues:2
License:Apache-2.0Stargazers:0Issues:2Issues:0
Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

terraform

Terraform is a tool for building, changing, and combining infrastructure safely and efficiently.

Language:GoLicense:MPL-2.0Stargazers:0Issues:0Issues:0

terraform-provider-aws

Terraform AWS provider

Language:GoLicense:MPL-2.0Stargazers:0Issues:2Issues:0

tock

A secure embedded operating system for microcontrollers

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

tock-www

Tock OS website

Language:HTMLStargazers:0Issues:1Issues:0