Software Construction: Process and Tools
☆32Oct 6, 2025Updated 4 months ago
Alternatives and similar repositories for Software-Construction
Users that are interested in Software-Construction are comparing it to the libraries listed below
Sorting:
- ☆39Nov 25, 2024Updated last year
- 🔱 Powerfull XSS Scanning and Parameter analysis tool&gem☆1,357Updated this week
- Sudomy is a subdomain enumeration tool to collect subdomains and analyzing domains performing automated reconnaissance (recon) for bug hu…☆2,339Jun 27, 2024Updated last year
- A terminal UI for tshark, inspired by Wireshark☆9,838Apr 30, 2024Updated last year
- Declarative Continuous Deployment for Kubernetes☆22,146Updated this week
- Gin is a high-performance HTTP web framework written in Go. It provides a Martini-like API but with significantly better performance—up t…☆88,176Updated this week
- A list of Free Software network services and web applications which can be hosted on your own servers☆275,363Feb 22, 2026Updated last week
- Interactive roadmaps, guides and other educational content to help developers grow in their careers.☆349,992Updated this week
- A RISC-V 5-stage pipelined CPU that supports vector instructions. Tape-out with U18 technology.☆146Dec 2, 2019Updated 6 years ago
- UGUi 多功能无限循环列表。☆189May 16, 2024Updated last year
- Regular expression matching of Haskell types☆13Apr 2, 2016Updated 9 years ago
- Use Microsoft Edge's online text-to-speech service from Python WITHOUT needing Microsoft Edge or Windows or an API key☆10,108Dec 12, 2025Updated 2 months ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- ERC4626 vault for auto-compounding perpetual yield tokens☆17May 23, 2023Updated 2 years ago
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- A tool for enumerating potential hosts that are open to GSSAPI abuse within Active Directory networks☆182Aug 16, 2025Updated 6 months ago
- TextMate dialog/UI support (from CLI)☆26Apr 16, 2021Updated 4 years ago
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 6 years ago
- A collection of extensions for the Cappuccino Application Framework.☆86Mar 5, 2010Updated 15 years ago
- Add Conda dependencies to your Julia project☆143Feb 21, 2026Updated last week
- SharpDump is a C# port of PowerSploit's Out-Minidump.ps1 functionality.☆666Feb 7, 2019Updated 7 years ago
- Manifests to help jump start your use of the VM Service in vSphere with Tanzu☆17Feb 10, 2026Updated 3 weeks ago
- Pull out bits of URLs provided on stdin☆1,292Aug 12, 2023Updated 2 years ago
- PyTorch toolbox for matrix product state models☆164Mar 26, 2024Updated last year
- an iOS-7 Style Switch for android☆372Apr 17, 2017Updated 8 years ago
- IPFS/Ethereum adapter☆10Apr 6, 2016Updated 9 years ago
- Massively-parallelised Navier-Stokes solver with a volume-of-fluid method for bubbly flows☆11Sep 13, 2025Updated 5 months ago
- Random pieces of code that people might find useful, but I never cared to fully finish☆20Jun 7, 2020Updated 5 years ago
- 102.32.01 LuaDev integration for VS Code.☆12Sep 1, 2016Updated 9 years ago
- ICML2025☆63Aug 28, 2025Updated 6 months ago
- Atom linter for Verilog/SystemVerilog, using Icarus Verilog, Slang, Verible or Verilator.☆10Jul 12, 2023Updated 2 years ago
- Introducing a novel method of parameterized Open Kinematic Chain with Forward Kinematics and Forward/Inverse Dynamics Computation. Run Op…☆11Jun 5, 2016Updated 9 years ago
- Monitor and terminate CPU hogging processes☆17May 29, 2021Updated 4 years ago
- Ergonomic GMP Integers for Nim☆10Sep 1, 2023Updated 2 years ago
- golang写的IM服务器(服务组件形式)☆2,692Dec 29, 2025Updated 2 months ago
- Official code for our SIBGRAPI 2020 paper: "IDA: Improved Data Augmentation Applied to Salient Object Detection"☆14Oct 12, 2021Updated 4 years ago
- ☆19Aug 1, 2025Updated 7 months ago
- Organize pages in the sidebar in order to make navigation between pages more comfortable.☆262Jan 23, 2026Updated last month
- Origami patterns I've developed (only links to other patterns)☆13Mar 14, 2023Updated 2 years ago