8000 wmdietl (Werner Dietl) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View wmdietl's full-sized avatar
50 followers · 11 following

Achievements

Achievement: StarstruckAchievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: StarstruckAchievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@codespecs @typetools @eisop @pascaliUWat @opprop @eisopux @eisop-plume-lib

Block or report wmdietl

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

eisopux / javac-diagnostics-wrapper

Wrapper around javac to produce different diagnostics output

Java 5 4 Updated Jul 2, 2025

eisop / checker-framework

Forked from typetools/checker-framework

Pluggable type-checking for Java

Java 22 24 Updated Jul 3, 2025

eisopux / checker-framework-vscode

Checker Framework for VS Code

TypeScript 4 8 Updated Jul 2, 2025

eisopux / checker-framework-languageserver

Checker Framework Language Server

Java 6 7 Updated Jul 1, 2025

topnessman / SymbolicExecution

ECE654 course project

Java 1 Updated Jul 26, 2016

JasonMrX / IntRange-Checker

A type system that enhances the Android Support Annotation @IntRange based on the Checker Framework

Java 3 Updated Oct 15, 2016

CharlesZ-Chen / ReadChecker

Java 3 2 Updated May 16, 2018

square / javapoet

A Java API for generating .java source files.

Java 10,867 1,393 Updated Oct 10, 2024

wmdietl / integration-test

Forked from aas-integration/integration-test

Big integration test of all tools

Python 1 Updated Apr 24, 2016

CharlesZ-Chen / CFGVisualization

Control Flow Graph Visualization for Checker Framework

Java 3 4 Updated Jun 7, 2016

typetools / sparta

Static Program Analysis for Reliable Trusted Apps

Java 23 9 Updated Nov 29, 2018

SRI-CSL / pascali-public

Public PASCALI repo

Python 5 4 Updated Feb 19, 2016

martinschaef / bixie

Inconsistent Code Detection for Java

Java 11 1 Updated Nov 3, 2020

Jianchu / generic-type-inference-solver

Java 3 5 Updated Feb 27, 2017

typetools / checker-framework-inference

Inference of pluggable types for Java

Java 10 33 Updated Jun 25, 2021

wmdietl / jsr308-langtools

hg-git mirror of https://bitbucket.org/typetools/jsr308-langtools

Java 4 1 Updated Aug 25, 2018

typetools / checker-framework

Pluggable type-checking for Java

Java 1,079 374 Updated Jul 2, 2025

pebble / pebble-android-sdk

Android PebbleKit SDK to talk to the Pebble via Bluetooth

Java 122 72 Updated Dec 1, 2016

olhotak / dotty

Forked from scala/scala3

Research platform for new language concepts and compiler technologies for Scala.

Scala 3 Updated Jul 8, 2021

facebookarchive / pfff

Tools for code analysis, visualizations, or style-preserving source transformation.

OCaml 2,444 203 Updated Mar 27, 2019

google / error-prone

Catch common Java mistakes as compile-time errors

Java 6,998 757 Updated Jul 4, 2025

google / guava

Google core libraries for Java

Java 50,913 11,025 Updated Jul 2, 2025

google / auto

A collection of source code generators for Java.

Java 10,504 1,206 Updated Jul 1, 2025

j2rodrig / dotty

Forked from scala/scala3

Research platform for new language concepts and compiler technologies for Scala.

Scala 1 Updated Jan 12, 2017

SIGPLAN / future-events

Notes about future events and planning

10 Updated Aug 26, 2014
0