icontract-hypothesis
tunnelmole-client
icontract-hypothesis | tunnelmole-client | |
---|---|---|
3 | 8 | |
74 | 901 | |
- | - | |
0.0 | 8.2 | |
almost 2 years ago | about 2 months ago | |
Python | TypeScript | |
MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
icontract-hypothesis
-
Automated Unit Test Improvement Using Large Language Models at Meta
https://github.com/mristin/icontract-hypothesis
Nagini and deal-solver attempt to Formally Verify Python code with or without unit tests: https://news.ycombinator.com/item?id=39139198
Additional research:
"Fuzz target generation using LLMs" (2023)
-
Adding “invariant” clauses to C++ via GCC plugin to enable Design-by-Contract
https://icontract.readthedocs.io/en/latest/usage.html#invari...
For unit testing, there's icontract-hypothesis; with the Preconditions and Postconditions delineated by e.g. decorators, it's possible to generate many of the fuzz tests from the additional Design by Contract structure of the source.
From https://github.com/mristin/icontract-hypothesis :
> icontract-hypothesis combines design-by-contract with automatic testing.
> It is an integration between icontract library for design-by-contract and Hypothesis library for property-based testing.
> The result is a powerful combination that allows you to automatically test your code. Instead of writing manually the Hypothesis search strategies for a function, icontract-hypothesis infers them based on the function’s [sic] precondition
-
Pynguin – Allow developers to generate Python unit tests automatically
Just in case you are looking for an alternative approach: if you write contracts in your code, you might also consider crosshair [1] or icontract-hypothesis [2]. If your function/method does not need any pre-conditions then the the type annotations can be directly used.
(I'm one of the authors of icontract-hypothesis.)
[1] https://github.com/pschanely/CrossHair
[2] https://github.com/mristin/icontract-hypothesis
tunnelmole-client
-
List of ngrok/Cloudflare Tunnel alternatives and other tunneling software and services. Focus on self-hosting.
Tunnelmole - Open source and optionally self hostable. The client and server are both written in TypeScript.
-
Automated Unit Test Improvement Using Large Language Models at Meta
Not sure about improving. But for Tunnelmole (https://github.com/robbie-cahill/tunnelmole-client) I have used GPT-4 to generate unit tests just by showing it a TypeScript module and asking it to create tests.
- Zugriff aufs Heimnetzwerk, bei der kein VPN mit DDNS oder statische IP vorhanden ist
-
Pgrok – Poor Man’s Ngrok
By the sounds of it Ngroks pricing is out of control. They used to allow commerical use for individual developer subscriptions, why not now?
I recently launched Tunnelmole, an open source alternative. You can just run the client and then you don't need to worry about NAT/CG-NAT, port forwarding or running your own server unless you want to self host, which is possible because the service layer is also open source.
You can get it from https://github.com/robbie-cahill/tunnelmole-client
- GitHub - robbie-cahill/tunnelmole-client: Tunnelmole - Connect to local servers from anywhere
- Tunnelmole – give your local servers a public URL
- Tunnelmole – Connect to local servers from anywhere
-
Tunnelmole, a self hostable ngrok alternative (open source)
Client: https://github.com/robbie-cahill/tunnelmole-client/
What are some alternatives?
pynguin - The PYthoN General UnIt Test geNerator is a test-generation tool for Python
pgrok - Poor man's ngrok - a multi-tenant HTTP/TCP reverse tunnel solution through SSH remote port forwarding
CrossHair - An analysis tool for Python that blurs the line between testing and type systems.
tunnelmole-service - Give local web servers a public URL
Polyester.jl - The cheapest threads you can find!
AlphaCodium - Official implementation for the paper: "Code Generation with AlphaCodium: From Prompt Engineering to Flow Engineering""
clang-contracts - Experimental support for contracts programming in clang++
tunnel - DIY ngrok alternative
zrok - Geo-scale, next-generation peer-to-peer sharing platform built on top of OpenZiti.