hesam/SketchSharp
Sketching synthesis technique in Spec#
Public GitHub Catalog
Discovered Sep 24, 2026
hesam / ESJava
Executable Specifications for Java
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#274157GitHub System ID
hesamOrganization / User
PublicVisibility
ActiveCatalog Status
More from hesam
hesam/ESSQ
Executable Specifications for Squeak
hesam/B-brains
A collection of {AI+languages} projects
hesam/Kodkodi-Server
Updates Kodkodi to run as a server, enabling programs to solve problems using Kodkod solver through socket communications. The kodkodi server is enabled by the -server cmdline option. *Required: This modifies the two files "Kodkodi.java" and "KodkodiParser.java" from Kodkodi source package, found at: http://www4.in.tum.de/~blanchet/#kodkodi. KodkodiClient.java is a sample client program, as a Kodkodi listener. programs terminated by semi-colon