raymyers

's photo
No Language

verified-refactoring

 11  0
Exploring techniques for code refactoring with formal verification

konwinski-prize-strategy-guide

 7  4
Guidance for competitors in the $1 Million USD Konwinski coding agent challenge

Config-Files

 1  0
Config Files

raymyers-mvn-repo

 1  0
Maven Repo For My Projects

Talks

 1  0
Supporting resources for talks by Ray Myers

refactor-gpt-hackathon

 0  1
Refactoring recommendation AI chat for LabLab hackathon
C

ate-your-greens

 1  0
Unofficial syntax for EYG lang and verifier for the pure subset

gilded-rose-c-symbolic-execution

 1  0
Gilded Rose Kata in C using Symbolic Execution with Klee
C++

gnat

 1  0
Go

chaos-mesh

 1  0
A Chaos Engineering Platform for Kubernetes.
Groovy

haml4grails

 6  5
Haml plugin for Grails, based on JHaml

ratpack-plugin

 2  0
The Ratpack Gradle plugin

cadrlife

 1  0
Ray Myers personal homepage.

Ratpack

 1  1
A micro web framework for Groovy

ratpack-core

 1  0
The core Ratpack API
Java

JHaml

 82  10
Haml (XHTML Abstraction Markup Language) implementation in Java.

MPC-Lib

 2  1
Java library for reading and writing MPC1000 PGM files.

CssMath

 1  0
Utilities for doing CSS calculations in Java

java-coffeescript-extensions

 1  0
Utilities for using coffeescript from Java

spring-mvc-playground

 1  0

TTracer

 1  0
Graph Theory Tool For Your AI Classroom

tumblr-playground

 1  0
Tumbler Playground
JavaScript

battlefeed

 2  0
Rap Battle YouTube Aggregator

SlideTracker

 2  0
Task management app for a Mizzou lab created in 2010 using RatPack, JQuery and CouchDB.

djpompey.com

 1  0
DJ Pompey Website

Domino

 1  0
Java Rich Web Testing Framework

kaleidostring

 1  0
reflections of a string to divide and fill space

RhymeDice

 1  0
Python

swe-bench-util

 7  2
Scripts for working with SWE-Bench, the AI coding agent benchmark

Lessagent

 1  0
A SWE-bench style coding agent based on Agentless

mender-ai-experiments

 1  0

samplemod

 1  0
Sample module for Python-Guide.org.

Spyglass

 1  1
a web app for HTTP debugging

tiny-type-agent

 1  0
Minimal example of a safe Autonomous DevTool for nopilot.dev blog
Rich Text Format

RefactorGPT-old

 1  1
Refactoring recommendation AI chat for LabLab hackathon
Roc

roc-lisp

 8  0
Simple Lisp interpretor in Roc
TypeScript

nopilot.dev

 4  1
Shape the future of software in the open

toc-lang

 2  2
Text-based notation for Theory of Constraints diagrams