Search: github.com/kerberosmansour | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them

github.com/kerberosmansour

3 years ago

kerberosmansour

4 points

2.

Auto Score CVEs (Vulnerabilities) Using GPT-4

github.com/kerberosmansour

3 years ago

kerberosmansour

1 points

3.

Plunger a library to simplify unit testing of Hadoop apps that use Cascading API

github.com/HotelsDotCom

12 years ago

kerberosmansour

2 points

4.

Scripts that automate ZAP Webapp security tests as part of a CI/CD pipeline

github.com/zaproxy

10 years ago

kerberosmansour

1 points