David Johnston (dwtj)

dwtj

Geek Repo

Company:Iowa State University

Location:Ames, Iowa

Github PK Tool:Github PK Tool

David Johnston's repositories

dwtj_rules_hugo

Bazel rules for building static websites with Hugo

Language:StarlarkLicense:MITStargazers:1Issues:2Issues:0

dwtj_rules_java

Prototype alternative Java rules for Bazel

Language:StarlarkLicense:MITStargazers:1Issues:2Issues:4

dwtj_rules_markdown

Lint Markdown files in your Bazel workspace

Language:StarlarkLicense:MITStargazers:1Issues:2Issues:4

powergraph-presentation

My presentation for ISU ComS 641 on Gonzalez et. al., OSDI 2012 and its related work.

Language:TeXStargazers:1Issues:2Issues:0

pt_xcode_swift_rust

An prototype XCode project which builds Swift code which calls Cargo-compiled Rust code

Language:CStargazers:1Issues:1Issues:0

rules_graalvm

Bazel rules to help you use GraalVM in your Bazel project

Language:StarlarkLicense:MITStargazers:1Issues:2Issues:0
Language:SwiftStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:2Issues:0
Language:C++Stargazers:0Issues:2Issues:0
Language:TeXStargazers:0Issues:1Issues:0
Stargazers:0Issues:2Issues:0
Language:StarlarkLicense:MITStargazers:0Issues:2Issues:0

dwtj_rules_jekyll

Bazel rules for building Jekyll websites

Language:StarlarkLicense:MITStargazers:0Issues:2Issues:0
Language:ShellStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:2Issues:0

ex_graalvm_with_custom_truffle

Demonstrates different ways to invoke the GraalVM with a custom Truffle language or tool

Language:ShellStargazers:0Issues:2Issues:0

example-swift-antlr-bazel

My own implementations of the languages found in Pierce's "Types and Programming Languages"

Language:PythonStargazers:0Issues:2Issues:0

phasicj

Soundly verify Java using compile-time, link-time, and runtime analysis.

Language:StarlarkLicense:MITStargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:2Issues:0
Language:C++Stargazers:0Issues:2Issues:0
Language:StarlarkStargazers:0Issues:0Issues:0

renaissance

The Renaissance Benchmark Suite

Language:SMTLicense:GPL-3.0Stargazers:0Issues:0Issues:0

rules_java

Java rules for Bazel

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

rules_rust

Rust rules for Bazel

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

spring-native

Spring Native provides beta support for compiling Spring applications to native executables using GraalVM native-image compiler.

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

tonic

A native gRPC client & server implementation with async/await support.

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